This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
McCarthy, J. "A Basis for a Mathematical Theory of Computation" in Computer Programming and Formal Systems (ed. P. Braffort & D. Hershberg), Amsterdam, North Holland, 1963.
Scott, D. Lattice-theoretic Models for Various Type-Free Calculi, Proceedings of the IVth International Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1972 (to appear).
— Data Types As Lattices, Lecture Notes, Amsterdam, 1972.
— Continuous Lattices, in Toposes, Algebraic Geometry, and Logic, (ed. F. W. Lawvere) Springer Lecture Notes in Mathematics vol. 274, Berlin, 1972.
Reynolds, J. C., Notes on a Lattice-Theoretical Approach to the Theory of Computation, Syracuse University, 1972.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wand, M. (1975). On the recursive specification of data types. In: Manes, E.G. (eds) Category Theory Applied to Computation and Control. Lecture Notes in Computer Science, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07142-3_85
Download citation
DOI: https://doi.org/10.1007/3-540-07142-3_85
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07142-6
Online ISBN: 978-3-540-37426-8
eBook Packages: Springer Book Archive