Lower and upper power domain constructions commute on all cpos

DOI10.1016/S0020-0190(05)80003-1zbMath0748.68038MaRDI QIDQ1183424

Reinhold Heckmann

Publication date: 28 June 1992

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

algebraic theoriesdomain theorypower domainsfree frame over a cpo

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items

Information systems for continuous posets ⋮ Unnamed Item ⋮ An upper power domain construction in terms of strongly compact sets ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints

Cites Work

• The Hoare and Symth power domain constructors commute under composition
• Power domain constructions
• Unnamed Item
• Unnamed Item