Presenting Dcpos and Dcpo Algebras

  title={Presenting Dcpos and Dcpo Algebras},
  author={Achim Jung and M. Andrew Moshier and Steven J. Vickers},
  journal={Electr. Notes Theor. Comput. Sci.},
Dcpos can be presented by preorders of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their results being ideals of generators) can be extended to the dcpo presented, provided the covers are “stable” for the operations. The resulting dcpo algebra has a natural universal characterization and satisfies all the inequational laws satisfied by the generating algebra. Applications include known “coverage theorems” from locale theory. 
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
13 Citations
12 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 12 references

Stone Spaces

  • P. Johnstone
  • Number 3 in Cambridge Studies in Advanced…
  • 1982
Highly Influential
3 Excerpts

A Foundation for Computation

  • K. Martin
  • Ph.D. thesis, Tulane University (2000).
  • 2000

Domain theory

  • D. M. Gabbay, T. S. E. Maibaum
  • 1994

Dedekind complete posets and Scott topologies

  • O. Wyler
  • Continuous Lattices, Lecture Notes in Computer…
  • 1981
1 Excerpt

Similar Papers

Loading similar papers…