0,1

D_infinity is the limit of the sequence of domains D_n that constitute the minimal nontrivial solution to the requirements that D_0 be a continuous lattice containing at least two elements, and that D_(n+1) be the space of functions from D_n to D_n.

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.

Adjacent sequences: A111785 A111786 A111787 this_sequence A111789 A111790 A111791

Sequence in context: A128125 A070239 A002443 this_sequence A098929 A073098 A046641

nonn

Jon Awbrey (jawbrey(AT)att.net), Aug 16 2005