Advertisement

A study of generalized standardization in combinatory logic

  • Haskell B. Curry
Conference paper
  • 181 Downloads
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [1]
    Curry, Haskell B. and Feys, Robert. Combinatory logic, vol. I, Amsterdam, North Holland Publishing Co., 1958. Third printing 1974.zbMATHGoogle Scholar
  2. [2]
    Curry, Haskell B., Hindley, J. Roger, and Seldin, Jonathan P. Combinatory logic, vol. II. Amsterdam, North Holland Publishing Co., 1972.zbMATHGoogle Scholar
  3. [3]
    Hindley, J. Roger, Lercher, Bruce, and Seldin, Jonathan P. Introduction to combinatory logic. Cambridge, at the University Press, 1972.zbMATHGoogle Scholar
  4. [4]
    Morris, James Hiram Jr. Lambda calculus models of programming languages. Thesis, Massachusetts Institute of Technology, 1968.Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • Haskell B. Curry

There are no affiliations available

Personalised recommendations