Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Additional information
To the memory of Christopher Strachey 1916–1975
Rights 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