Preview
Unable to display preview. Download preview PDF.
References
H. Barendregt. The lambda-calculus, North-Holland, 1984.
M. Coppo, M. Dezani. An extension of basic functionality theory for λ-calculus, Notre Dame Journal of Formal Logic 21 (1980) pp 685–693.
J.L. Krivine. Lambda-calcul, types et modèles, Masson, 1990 (to appear).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Parigot, M. (1990). Internal labellings in lambda-calculus. In: Rovan, B. (eds) Mathematical Foundations of Computer Science 1990. MFCS 1990. Lecture Notes in Computer Science, vol 452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029640
Download citation
DOI: https://doi.org/10.1007/BFb0029640
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52953-8
Online ISBN: 978-3-540-47185-1
eBook Packages: Springer Book Archive