
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. 97136 in F. W. Lawvere (ed.), Toposes, Algebraic Geometry and Logic, SpringerVerlag, Berlin, 1972.
J. E. Stoy, Denotational Semantics: The ScottStrachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977, pp. 113115.
