Power domain constructions

DOI10.1016/0167-6423(91)90037-XzbMath0769.08005OpenAlexW1989648858MaRDI QIDQ1183553

Reinhold Heckmann

Publication date: 28 June 1992

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(91)90037-x

zbMATH Keywords

axiomatic frameworkcharacteristic semiringdirected complete posetleft adjunctionPlotkin semiringpower domain constructionspower morphism

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (16)

Semantics of a sequential language for exact real-number computation ⋮ Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ Consistent Hoare powerdomains over dcpos ⋮ Unnamed Item ⋮ QC-continuity of posets and the Hoare powerdomain of QFS-domains ⋮ Inverse-limit and topological aspects of abstract interpretation ⋮ Unnamed Item ⋮ Regular relations and strictly completely regular ordered spaces. ⋮ Consistent Hoare powerdomains. ⋮ Consistent Plotkin powerdomains. ⋮ Modelling higher-order dual nondeterminacy ⋮ Lower and upper power domain constructions commute on all cpos ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains ⋮ Power domains and second-order predicates ⋮ Consistent Smyth powerdomains. ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints

This page was built for publication: Power domain constructions