Jonathan P. Seldin (seldin-jp)

Contributions to Philosophie.ch

Bibliography

Curry, Haskell Brooks, Hindley, J. Roger and Seldin, Jonathan P. 1972. Combinatory Logic. Studies in Logic and the Foundations of Mathematics n. 65. Amsterdam: North-Holland Publishing Co.
Seldin, Jonathan P. 1980. “Curry’s Program.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 3–34. New York: Academic Press.
Seldin, Jonathan P. 2004. “Type Theories from Barendregt’s Cube for Theorem Provers.” in Advances in Natural Deduction. A Celebration of Dag Prawitz’s Work, edited by Luiz Carlos Pereira, Edward Hermann Hausler, and Valeria de Paiva, pp. 129–144. Trends in Logic n. 39–54. Dordrecht: Springer.
Seldin, Jonathan P. 2009. “The Logic of Church and Curry.” in Handbook of the History of Logic. Volume 5: Logic from Russell to Church, edited by Dov M. Gabbay and John Woods, pp. 819–874. Amsterdam: North-Holland Publishing Co.
Seldin, Jonathan P. and Hindley, J. Roger, eds. 1980. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. New York: Academic Press.