Advertisement

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

  • Roel de Vrijer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 37)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Benthem Jutting, L.S. van, On normal forms in AUTOMATH; Unpublished, 1971.Google Scholar
  2. [2]
    Benthem Jutting, L.S. van, The development of a text in AUT-QE; proceedings of the Symposium APLASM (Orsay, December 1973), ed. P. Braffort (to appear).Google Scholar
  3. [3]
    Bruijn, N.G. de, The mathematical language AUTOMATH, its usage, and some of its extensions; Symposium on Automatic Demonstration (Versailles, December 1968), Springer Lecture Notes in Mathematics, Vol. 125 (1970), 29–61.Google Scholar
  4. [4]
    Daalen, D.T. van, A description of AUTOMATH and some aspects of its language theory; proceedings of the Symposium APLASM (Orsay, December 1973), ed. P. Brafford (to appear).Google Scholar
  5. [5]
    Hindley, J.R., B. Lercher and J.P. Seldin, Introduction to Combinatory Logic, Cambridge University Press (1972).Google Scholar
  6. [6]
    Howard, W.A., The formulae-as-types notion of construction; Unpublished (1969).Google Scholar
  7. [7]
    Martin-Löf, P., An intuitionistic theory of types; Unpublished (1972).Google Scholar
  8. [8]
    Nederpelt, R.P., Strong normalization in a typed lambda calculus with lambda structured types; Doctoral dissertation, Technological University Eindhoven (1973).Google Scholar
  9. [9]
    Prawitz, D., Ideas and results in proof theory; Proc. of the second Scandinavian Logic Symposium, ed. J.E. Fenstad, North Holland 1971.Google Scholar
  10. [10]
    Scott, D., Constructive validity; Symposium on Automatic Demonstration (Versailles, December 1968), Springer Lecture Notes in Mathematics, vol. 125 (1970), 237–275.Google Scholar
  11. [11]
    Tait, W.W., Intensional interpretations of functionals of finite type I. J. of Symbolic Logic 32 (1967), 198–212.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Roel de Vrijer
    • 1
  1. 1.Department of MathematicsTechnological University EindhovenThe Netherlands

Personalised recommendations