Equality between functionals

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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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.MathSciNetzbMATHGoogle 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