Stable power domains

DOI10.1016/0304-3975(93)00121-KzbMATH Open0874.68184MaRDI QIDQ1349652FDOQ1349652

Authors 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)

Recommendations

• On stable domains
• scientific article; zbMATH DE number 4070972
• Consistent Plotkin powerdomains.
• Power domain constructions
• L-domains and lossless powerdomains

Cites work

• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4083878 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 49833 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 517038 (Why is no real title available?)
• scientific article; zbMATH DE number 554486 (Why is no real title available?)
• A Powerdomain Construction
• An upper power domain construction in terms of strongly compact sets
• L-domains and lossless powerdomains
• Notions of computation and monads
• Power domains and second-order predicates
• Universal profinite domains

Cited in

(13)

• Consistent Hoare powerdomains.
• Consistent Plotkin powerdomains.
• On stable domains
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• On \(FS_+\)-domains
• Consistent Smyth powerdomains.
• Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
• Discrete Lawvere theories and computational effects
• Power domain constructions
• L-domains and lossless powerdomains
• Power stable aggregation functions
• Combining effects: sum and tensor
• scientific article; zbMATH DE number 4070972 (Why is no real title available?)

This page was built for publication: Stable power domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1349652)