Stable power domains

DOI10.1016/0304-3975(93)00121-KzbMath0874.68184MaRDI QIDQ1349652

Reinhold Heckmann

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

lossless power domainssaturated compact setsaturated compact setsstable Plotkin power constructioncompact sets

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (8)

Discrete Lawvere theories and computational effects ⋮ On \(FS_+\)-domains ⋮ Consistent Hoare powerdomains. ⋮ Consistent Plotkin powerdomains. ⋮ Consistent Smyth powerdomains. ⋮ Combining effects: sum and tensor ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads

Cites Work

• Power domains and second-order predicates
• Notions of computation and monads
• Universal profinite domains
• A Powerdomain Construction
• L-domains and lossless powerdomains
• An upper power domain construction in terms of strongly compact sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stable power domains