|
|
REFERENCES
| J. G. Sanderson, The Lambda Calculus, Lattice Theory and Reflexive Domains, Mathematical Institute Lecture Notes, University of Oxford, 1973.
D. S. Scott, Continuous Lattices, pp. 97-136 in F. W. Lawvere (ed.), Toposes, Algebraic Geometry and Logic, Springer-Verlag, Berlin, 1972.
J. E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977, pp. 113-115.
|
