Gunter, C. A.; Scott, Dana S. Semantic domains. (English) Zbl 0900.68301 van Leeuwen, Jan (ed.), Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 633-674 (1990). For the entire collection see [Zbl 0714.68001]. Cited in 52 Documents MSC: 68Q55 Semantics in the theory of computing 06B35 Continuous lattices and posets, applications PDF BibTeX XML Cite \textit{C. A. Gunter} and \textit{D. S. Scott}, in: Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 633--674 (1990; Zbl 0900.68301) OpenURL