Scott, Dana Data types as lattices. (English) Zbl 0337.02018 SIAM J. Comput. 5, 522-587 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 ReviewsCited in 196 Documents MSC: 03B40 Combinatory logic and lambda calculus 03D60 Computability and recursion theory on ordinals, admissible sets, etc. 03D25 Recursively (computably) enumerable sets and degrees PDF BibTeX XML Cite \textit{D. Scott}, SIAM J. Comput. 5, 522--587 (1976; Zbl 0337.02018) Full Text: DOI Link