Big trees in a λ-calculus with λ-expressions as types

This publication has 4 references indexed in Scilit:

• Ideas and Results in Proof Theory
  Published by Elsevier ,1971
• The mathematical language AUTOMATH, its usage, and some of its extensions
  Published by Springer Nature ,1970
• Constructive validity
  Published by Springer Nature ,1970
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967