Power domains and second-order predicates

DOI10.1016/0304-3975(93)90182-SzbMath0784.68054MaRDI QIDQ685429

Reinhold Heckmann

Publication date: 17 October 1993

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

zbMATH Keywords

domains of second-order predicates; power domains; semiring logic

Mathematics Subject Classification ID

54B20: Hyperspaces in general topology

54C35: Function spaces in general topology

68Q55: Semantics in the theory of computing

06A99: Ordered sets

20M25: Semigroup rings, multiplicative semigroups of rings

06F05: Ordered semigroups and monoids

06B35: Continuous lattices and posets, applications

03B50: Many-valued logic

54D80: Special constructions of topological spaces (spaces of ultrafilters, etc.)

22A26: Topological semilattices, lattices and applications

Related Items

Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions, Consistent Plotkin powerdomains., The mixed powerdomain, Stable power domains, Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains, Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting, Predicate transformers for extended probability and non-determinism

Cites Work

• A semantics for complex objects and approximate answers
• Power domain constructions
• The mixed powerdomain
• Power domains
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item