Preview
Unable to display preview. Download preview PDF.
References
Benthem Jutting, L.S. van, On normal forms in AUTOMATH; Unpublished, 1971.
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).
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.
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).
Hindley, J.R., B. Lercher and J.P. Seldin, Introduction to Combinatory Logic, Cambridge University Press (1972).
Howard, W.A., The formulae-as-types notion of construction; Unpublished (1969).
Martin-Löf, P., An intuitionistic theory of types; Unpublished (1972).
Nederpelt, R.P., Strong normalization in a typed lambda calculus with lambda structured types; Doctoral dissertation, Technological University Eindhoven (1973).
Prawitz, D., Ideas and results in proof theory; Proc. of the second Scandinavian Logic Symposium, ed. J.E. Fenstad, North Holland 1971.
Scott, D., Constructive validity; Symposium on Automatic Demonstration (Versailles, December 1968), Springer Lecture Notes in Mathematics, vol. 125 (1970), 237–275.
Tait, W.W., Intensional interpretations of functionals of finite type I. J. of Symbolic Logic 32 (1967), 198–212.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Vrijer, R. (1975). Big trees in a λ-calculus with λ-expressions as types. In: Böhm, C. (eds) λ-Calculus and Computer Science Theory. LCCST 1975. Lecture Notes in Computer Science, vol 37. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029530
Download citation
DOI: https://doi.org/10.1007/BFb0029530
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07416-8
Online ISBN: 978-3-540-37944-7
eBook Packages: Springer Book Archive