Skip to Main Content

Transactions of the American Mathematical Society

Published by the American Mathematical Society since 1900, Transactions of the American Mathematical Society is devoted to longer research articles in all areas of pure and applied mathematics.

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

The 2020 MCQ for Transactions of the American Mathematical Society is 1.48.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

The principle type-scheme of an object in combinatory logic
HTML articles powered by AMS MathViewer

by R. Hindley PDF
Trans. Amer. Math. Soc. 146 (1969), 29-60 Request permission
References
  • 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
  • H. B. Curry, Modified basic functionality in combinatory logic, Dialectica (to appear). —, On the definition of substitution, replacement and allied notions in an abstract formal system, Rev. Philos. de Louvain 50 (1952), 251-269.
  • J. A. Robinson, A machine-oriented logic based on the resolution principle, J. Assoc. Comput. Mach. 12 (1965), 23–41. MR 170494, DOI 10.1145/321250.321253
  • A. Grzegorczyk, Recursive objects in all finite types, Fund. Math. 54 (1964), 73–93. MR 160715, DOI 10.4064/fm-54-1-73-93
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
  • © Copyright 1969 American Mathematical Society
  • 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