Reference. Data Types as Lattices [scott-1976-data]

1976 · Dana Scott · 10.1137/0205037 
@article{scott-1976-data,
	author = {Scott, Dana},
	title = {Data Types as Lattices},
	journal = {SIAM Journal on Computing},
	volume = {5},
	number = {3},
	pages = {522-587},
	year = {1976},
	doi = {10.1137/0205037},
	URL = {https://doi.org/10.1137/0205037},
	eprint = {https://doi.org/10.1137/0205037},
	abstract = { The meaning of many kinds of expressions in programming languages can be taken as elements of certain spaces of “partial” objects. In this report these spaces are modeled in one universal domain \${\bf P} \omega \$, the set of all subsets of the integers. This domain renders the connection of this semantic theory with the ordinary theory of number theoretic (especially general recursive) functions clear and straightforward. }
}