Preview
Unable to display preview. Download preview PDF.
References
-Barendregt H.P.: Some Extensional Term Models for Combinatory logic and λ-calculi, Ph.D.dissertation, Univ.Utrecht 1971.
-Hindley J.R., Lercher B., Seldin J.P.: Introduction to Combinatory Logic, Cambridge University Press 1972.
-Lambek J.: Functional Completeness of Cartesian Categories, Annals of Mathematical Logic 6 (1974) pp. 259–292.
-Lawvere F.W.: Introduction to Part I, in Model Theory and Topoi, Lecture Notes in Mathematics Vol. 445 pp.3–14, Springer Verlag 1975.
-Reynolds J.C.: Notes on a Lattice-theoretic Approach to the Theory of Computation, Syracuse University 1972.
-Scott D.: Continuous Lattices, in Toposes Algebraic Geometry and Logic, Lecture Notes in Mathematics Vol. 274 pp. 97–136. Springer Verlag 1972.
-Schubert H.: Categories, Springer Verlag 1972.
-Wadsworth C.P.: The relation between Lambda-expressions and their denotations, the seminar talk at IRIA, Paris in January 1973.
-Volger H.: Completeness theorem for logical categories, in Model Theory and Topoi, Lecture Notes in Mathematics Vol.445 pp.51–86, Springer Verlag 1975.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Obtułowicz, A. (1977). Functorial semantics of the type free λ-βη calculus. In: Karpiński, M. (eds) Fundamentals of Computation Theory. FCT 1977. Lecture Notes in Computer Science, vol 56. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08442-8_97
Download citation
DOI: https://doi.org/10.1007/3-540-08442-8_97
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08442-6
Online ISBN: 978-3-540-37084-0
eBook Packages: Springer Book Archive