Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)



Combinatory recursive objects of all finite types

Author: Haskell B. Curry
Journal: Bull. Amer. Math. Soc. 70 (1964), 814-817
MathSciNet review: 0181566
Full-text PDF

References | Additional Information

References [Enhancements On Off] (What's this?)

  • 1. A. Grzegorczyk, Recursive functionals in all finite types, Fund. Math. 54 (1964), 73-93. MR 160715
  • 2. H. B. Curry and R. Feys, Combinatory logic, Vol. I, Amsterdam, 1958. MR 94298
  • 3. A. Church, A set of postulates for the foundation of logic (Second paper), Ann. of Math. (2) 34 (1933), 839-864. MR 1503136
  • 4. H. B. Curry, The paradox of Kleene and Rosser, Trans. Amer. Math. Soc. 50 (1941), 454-516. MR 5275
  • 5. Bruce Lercher, Strong reduction and recursion in combinatory logic, Thesis, The Pennsylvania State University, University Park, Pa., 1963.

Additional Information


American Mathematical Society