Stone duality and representation of stable domain

DOI10.1016/S0898-1221(97)00096-5zbMath0883.06008MaRDI QIDQ1368465

Yi-Xiang Chen

Publication date: 9 March 1998

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

zbMATH Keywords

Stone dualitytopological dualitiesdenotational semanticsstable domainscategory of \(L\)-domains and stable functionsScott-domainssemitopological systemsstable \(D\)-semilattices

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (8)

A logical approach to stable domains ⋮ A set-theoretic representation of algebraic L-domains ⋮ A logic for Lawson compact algebraic L-domains ⋮ On the largest Cartesian closed category of stable domains ⋮ Domains via graphs ⋮ Continuous L-domains in logical form ⋮ Domain semantics of possibility computations ⋮ Fixed points of Scott continuous self-maps

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cartesian closed categories of algebraic cpos
• Stable domains are generalized topological spaces
• On stable domains
• An algebraic approach to stable domains
• Domain theory in logical form
• Stable neighbourhoods
• Coherence and consistency in domains
• Categories of embeddings
• A domain equation for bisimulation
• Some monoidal closed categories of stable domains and event structures
• Disjunctive systems and L-Domains
• The Theory of Representation for Boolean Algebras
• L-domains and lossless powerdomains

This page was built for publication: Stone duality and representation of stable domain