Jesse Alama (alama)
My contributions to Philosophie.ch
No contributions yet
Bibliography
Alama, Jesse. 2012. “The
Lambda Calculus.” in The Stanford
Encyclopedia of Philosophy. Stanford, California: The
Metaphysics Research Lab, Center for the Study of Language; Information,
https://plato.stanford.edu/archives/win2012/entries/lambda-calculus/.
Alama, Jesse. 2013. “The
Lambda Calculus.” in The Stanford
Encyclopedia of Philosophy. Stanford, California: The
Metaphysics Research Lab, Center for the Study of Language; Information,
https://plato.stanford.edu/archives/spr2013/entries/lambda-calculus/.
Alama, Jesse. 2015. “Without
\(E\).” in The
Logica Yearbook 2014, edited by Pavel Arazim and Michal Dančák, pp. 1–12. London: College Publications.
Alama, Jesse. 2017. “The
Lambda Calculus.” in The Stanford
Encyclopedia of Philosophy. Stanford, California: The
Metaphysics Research Lab, Center for the Study of Language; Information,
https://plato.stanford.edu/archives/sum2017/entries/lambda-calculus/.
Alama, Jesse and Kahle, Reinhard. 2013. “Computing with Mathematical Arguments.” in
New Challenges to the Philosophy of
Science, edited by Hanne Andersen, Dennis Dieks, Wenceslao J. González, Thomas E. Uebel, and Gregory R. Wheeler, pp. 9–22. The
Philosophy of Science in a European Perspective n. 4. Berlin:
Springer.
Alama, Jesse and Korbmacher, Johannes. 2018. “The
Lambda Calculus.” in The Stanford
Encyclopedia of Philosophy. Stanford, California: The
Metaphysics Research Lab, Center for the Study of Language; Information,
https://plato.stanford.edu/archives/sum2018/entries/lambda-calculus/.
Alama, Jesse and Korbmacher, Johannes. 2023. “The
Lambda Calculus.” in The Stanford
Encyclopedia of Philosophy. Stanford, California: The
Metaphysics Research Lab, Center for the Study of Language; Information,
https://plato.stanford.edu/archives/fall2023/entries/lambda-calculus/.
Uckelman, Sara L., Alama, Jesse and Knoks, Aleks. 2014. “A Curious Dialogical Logic and its Composition
Problem.” The Journal of Philosophical Logic
43(6): 1065–1100.