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 predicatespower domainssemiring logic

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Function spaces in general topology (54C35) Semantics in the theory of computing (68Q55) Ordered sets (06A99) Semigroup rings, multiplicative semigroups of rings (20M25) Ordered semigroups and monoids (06F05) Continuous lattices and posets, applications (06B35) Many-valued logic (03B50) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Topological semilattices, lattices and applications (22A26)

Related Items (9)

Stable power domains ⋮ Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks ⋮ Unnamed Item ⋮ Consistent Plotkin powerdomains. ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains ⋮ The mixed powerdomain ⋮ Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions ⋮ 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

This page was built for publication: Power domains and second-order predicates