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
DOI: https://doi.org/10.1090/S0002-9904-1964-11245-3
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. Alonzo Church, A set of postulates for the foundation of logic, Ann. of Math. (2) 34 (1933), no. 4, 839–864. MR 1503136, https://doi.org/10.2307/1968702
  • 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

DOI: https://doi.org/10.1090/S0002-9904-1964-11245-3

American Mathematical Society