Skip to main content

Data types as lattices

Part of the Lecture Notes in Mathematics book series (LNM,volume 499)

Keywords

  • Continuous Function
  • Complete Lattice
  • Total Function
  • Continuous Lattice
  • Closure Operation

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Additional information

To the memory of Christopher Strachey 1916–1975

Rights and permissions

Reprints and Permissions

Copyright information

© 1975 Springer-Verlag

About this paper

Cite this paper

Scott, D. (1975). Data types as lattices. In: Müller, G.H., Oberschelp, A., Potthoff, K. (eds) ⊨ISILC Logic Conference. Lecture Notes in Mathematics, vol 499. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079432

Download citation

  • DOI: https://doi.org/10.1007/BFb0079432

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07534-9

  • Online ISBN: 978-3-540-38022-1

  • eBook Packages: Springer Book Archive