|
|
A111788
|
|
Order of the domain D_n (n >= 0) in the inverse limit domain D_infinity.
|
|
2
|
|
|
|
OFFSET
|
0,1
|
|
COMMENTS
|
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.
|
|
REFERENCES
|
J. G. Sanderson, The Lambda Calculus, Lattice Theory and Reflexive Domains, Mathematical Institute Lecture Notes, University of Oxford, 1973.
J. E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977, pp. 113-115.
|
|
LINKS
|
Dana S. Scott, Continuous lattices, Technical Monograph PRG-7, Oxford University Computing Laboratory, 1971.
Dana S. Scott, Continuous Lattices, pp. 97-136 in F. W. Lawvere (ed.), Toposes, Algebraic Geometry and Logic, Springer-Verlag, Berlin, 1972.
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,more
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|