The mixed powerdomain

DOI10.1016/0304-3975(92)90017-AzbMath0764.68092MaRDI QIDQ1199543

Carl A. Gunter

Publication date: 16 January 1993

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

zbMATH Keywords

mix algebrasmixed powerdomain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

Semantics of a sequential language for exact real-number computation ⋮ Models of approximation in databases ⋮ An algebraic theory for data linkage ⋮ Power domains and second-order predicates ⋮ Deduction with uncertain conditionals

Cites Work

• Power domains and second-order predicates
• On powerdomains and modality
• Universal profinite domains
• Domain theory in logical form
• A semantics for complex objects and approximate answers
• Using powerdomains to generalize relational databases
• Power domains
• Coherence and consistency in domains
• The Category-Theoretic Solution of Recursive Domain Equations
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The mixed powerdomain