Equality between functionals

  • Harvey Friedman
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 453)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    H. Barendregt, Some extensional term models for combinatory logics and λ-calculi, Dissertation, University of Amsterdam.Google Scholar
  2. [2]
    L. E. Sanchis, Functionals defined by recursion, Notre Dame J. Formal Logic, vol. 8, no. 3, pp. 161–174.Google Scholar
  3. [3]
    W. Tait, Intensional interpretations of functionals of finite type, JSL 32 (1967), 198–212.MathSciNetMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin · Heidelberg 1975

Authors and Affiliations

  • Harvey Friedman
    • 1
  1. 1.State University of New York at BuffaloUSA

Personalised recommendations