On the recursive specification of data types

  • Mitchell Wand
Submitted Abstract
Part of the Lecture Notes in Computer Science book series (LNCS, volume 25)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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.Google Scholar
  2. [2]
    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).Google Scholar
  3. [3]
    — Data Types As Lattices, Lecture Notes, Amsterdam, 1972.Google Scholar
  4. [4]
    — Continuous Lattices, in Toposes, Algebraic Geometry, and Logic, (ed. F. W. Lawvere) Springer Lecture Notes in Mathematics vol. 274, Berlin, 1972.Google Scholar
  5. [5]
    Reynolds, J. C., Notes on a Lattice-Theoretical Approach to the Theory of Computation, Syracuse University, 1972.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Mitchell Wand
    • 1
  1. 1.Computer Science DepartmentIndiana UniversityBloomingtonUSA

Personalised recommendations