Advertisement

A study of generalized standardization in combinatory logic

  • Haskell B. Curry
Conference paper
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.MATHGoogle Scholar
  2. [2]
    Curry, Haskell B., Hindley, J. Roger, and Seldin, Jonathan P. Combinatory logic, vol. II. Amsterdam, North Holland Publishing Co., 1972.MATHGoogle Scholar
  3. [3]
    Hindley, J. Roger, Lercher, Bruce, and Seldin, Jonathan P. Introduction to combinatory logic. Cambridge, at the University Press, 1972.MATHGoogle 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