The versatile continuous order
Document Type
Conference Proceeding
Publication Date
1-1-1988
Abstract
In this paper we survey some of the basic properties of continuously ordered sets, especially those properties that have led to their employment as the underlying structures for constructions in denotational semantics. The earlier sections concentrate on the order-theoretic aspects of continuously ordered sets and then specifically of domains. The last two sections are concerned with two natural topologies for sets with continuous orders, the Scott and Lawson topologies.
Publication Source (Journal or Book title)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
First Page
134
Last Page
160
Recommended Citation
Lawson, J. (1988). The versatile continuous order. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 298 LNCS, 134-160. https://doi.org/10.1007/3-540-19020-1_7