Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 

 

The principle type-scheme of an object in combinatory logic


Author: R. Hindley
Journal: Trans. Amer. Math. Soc. 146 (1969), 29-60
MSC: Primary 02.85
DOI: https://doi.org/10.1090/S0002-9947-1969-0253905-6
MathSciNet review: 0253905
Full-text PDF Free Access

References | Similar Articles | Additional Information

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

  • [1] Haskell B. Curry and Robert Feys, Combinatory logic. Vol. I, Studies in logic and the foundations of mathematics, North-Holland Publishing Co., Amsterdam, 1958. MR 0094298
  • [2] H. B. Curry, Modified basic functionality in combinatory logic, Dialectica (to appear).
  • [3] -, On the definition of substitution, replacement and allied notions in an abstract formal system, Rev. Philos. de Louvain 50 (1952), 251-269.
  • [4] J. A. Robinson, A machine-oriented logic based on the resolution principle, J. Assoc. Comput. Mach. 12 (1965), 23–41. MR 0170494, https://doi.org/10.1145/321250.321253
  • [5] A. Grzegorczyk, Recursive objects in all finite types, Fund. Math. 54 (1964), 73–93. MR 0160715

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.85

Retrieve articles in all journals with MSC: 02.85


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1969-0253905-6
Article copyright: © Copyright 1969 American Mathematical Society