Compactly generated domain theory

  title={Compactly generated domain theory},
  author={Ingo Battenfeld and Matthias Schr{\"o}der and Alex K. Simpson},
  journal={Mathematical Structures in Computer Science},
We propose compactly generated monotone convergence spaces as a well-behaved topological generalization of directed-complete partial orders (dcpos). The category of such spaces enjoys the usual properties of categories of “predomains” in denotational semantics. Moreover, such properties are retained if one restricts to spaces with a countable pseudobase in the sense of E. Michael, a fact that permits connections to be made with computability theory, realizability semantics and recent work on… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


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

Ten Topologies for 1x7

View 3 Excerpts
Highly Influenced

A convenient category of topological spaces

N. E. Steenrod.
Michigan Math . J . • 2003

Filter spaces and continuous functionals

J. M. E. Hyland
Theoretical Computer Science • 2003

Foundations of topology: an approach to convenient topology

G. Preuss
Logic in Computer Science, • 2002
View 1 Excerpt

Phoa . Effective domains and intrinsic structure

W. K.-S.
Proc . 5 th Annual Symposium on Logic in Computer Science • 2002

Filter space monads, regularity, completions

K. Weihrauch
Computable Analysis. Springer, • 2000
View 2 Excerpts

Similar Papers

Loading similar papers…