Presenting Dcpos and Dcpo Algebras

DOI10.1016/j.entcs.2008.10.013zbMath1286.68300OpenAlexW1990034831MaRDI QIDQ5415639

M. Andrew Moshier, Steven Vickers, Achim Jung

Publication date: 13 May 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.013

zbMATH Keywords

\(\mu\)-topology\(d\)-topologycoverage theoremsdcpo algebrasdcpo presentations

Mathematics Subject Classification ID

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

Related Items (12)

Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ The Dedekind MacNeille site completion of a meet semilattice ⋮ Cartesian closed extensions of subcategories of CONT ⋮ Extending algebraic operations to D-completions ⋮ Duality and canonical extensions for stably compact spaces ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Generalised powerlocales via relation lifting ⋮ Canonical extensions and canonicity via dcpo presentations ⋮ Dcpo-completion of posets ⋮ Extending Algebraic Operations to D-Completions ⋮ Closure spaces and completions of posets ⋮ Free and cofree acts of dcpo-monoids on directed complete posets.

Cites Work

• Inductively generated formal topologies.
• A universal characterization of the double powerlocale
• Compactness in locales and in formal topology
• Quantales, observational logic and process semantics
• A Technique for Verifying Measurements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Presenting Dcpos and Dcpo Algebras