Data types as lattices
By: by Dana Scott.
Series: Technical monograph - Oxford University Computing Laboratory Programming Research Group ; PRG-5; Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;; PRG-5.
Publisher: Oxford University Computing Laboratory, Programming Research Group
Published: 1976
Place of publication: Oxford
Language: eng
Number of pages: 587
Subjects: Programming languages (Electronic computers) -- Semantics.; Recursive functions.; Lattice theory.; Functions, Continuous.
Notes: Bibliography: p. 578-587.
Cover title.
Reprinted from the SIAM journal on computing, v. 5.
Table of contents: class: section