|
Data Types as Lattices
Dana Scott
September 1976, 65 pages,
ISBN 0-902928-10-4
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 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.
Reprinted from the "SIAM Journal on Computing", Vol. 5,
1976, pages 522-587
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl