J. Roger Hindley (hindley)

Contributions à Philosophie.ch

Bibliography

Cardone, Felice and Hindley, J. Roger. 2009. “Lambda Calculus and Combinators in the 20th Century.” in Handbook of the History of Logic. Volume 5: Logic from Russell to Church, edited by Dov M. Gabbay and John Woods, pp. 723–818. Amsterdam: North-Holland Publishing Co.
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.
Hindley, J. Roger. 1997. Basic Simple Type Theory. Cambridge: Cambridge University Press.
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.