Compactly generated domain theory

Mathematical Structures in Computer Science

Volumn 16, Issue 2, 2006, Pages 141-161

  Battenfeld, Ingo ^a   Schröder, Matthias ^a   Simpson, Alex ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33646145278     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129506005202     Document Type: Conference Paper

References (29)

1. Abramsky, S. and Jung, A. (1994) Domain theory. In: Handbook of Logic in Computer Science 3, OUP 1-168.
2. Battenfeld, I. (2004) A Category of Topological Predomains, Diploma Thesis, TU Darmstadt.
3. Bauer, A., Birkedal, L. and Scott, D. S. (2004) Equilogical spaces. Theoretical Computer Science 315 35-59.
4. Brown, R. (1963) Ten topologies for X × Y. Quart. J. Math. Oxford Ser. 14 303-319.
5. Brown, R. (1964) Function spaces and product topologies. Quart. J. Math. Oxford Ser. 15 238-250.
6. Day, B. J. (1972) A reflection theorem for closed categories. J. Pure Appl. Algebra 2 1-11.
7. Escardó, M. H., Lawson, J. D. and Simpson, A. K. (2004) Comparing cartesian closed categories of core compactly generated spaces. Topology and its Applications 143 105-145.
8. Escardó, M. H. (2005) Notes on compactness (preprint).
9. Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W. and Scott, D.S. (2003) Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications 93, CUP.
10. Heckmann, R. (2003) A non-topological view od dcpos as convergence spaces. Theoretical Computer Science 305 159-186.
11. Hyland, J. M. E. (1979) Filter spaces and continuous functionals. Annals of Mathematical Logic 16 101-143.
12. Isbell, J. (1987) A distinguishing example in k-spaces. Proc. Amer. Math. Soc. 100 593-594.
13. Jung, A. (1989) Cartesian closed categories of domains. CWI Tracts 66.
14. Jung, A. (1990) The classification of continuous domains. In: Proceedings 5th IEEE Symposium on Logic in Computer Science 35-40.
15. Lambrinos, P. Th. and Papadopoulos, B. (1985) The (strong) Isbell topology and (weakly) continuous lattices. In: Continuous lattices and their applications (Bremen, 1982). Lecture Notes in Pure and Appl. Math. 101 191-211.
16. Longley, J. R. and Simpson, A. K. (1997) A uniform account of domain theory in realizability models. Mathematical Structures in Computer Science 7 469-505.
17. 0-spaces. J. Math. Mech. 15 983-1002.
18. Menni, M. and Simpson, A. K. (2002) Topological and limit space subcategories of countably-based equilogical spaces. Mathematical Structures in Computer Science 12 739-770.
19. Phoa, W. K.-S. (1990) Effective domains and intrinsic structure. In: Proc. 5th Annual Symposium on Logic in Computer Science 366-377.
20. Preuss, G. (2002) Foundations of topology: an approach to convenient topology, Kluwer.
21. Reus, B. and Streicher, Th. (1999) General synthetic domain theory - a logical approach. Mathematical Structures in Computer Science 9 177-223.
22. Schalk, A. (1993) Algebras for Generalized Power Constructions, Ph.D. thesis, Technischen Hochschule Darmstadt.
23. Schröder, M. (2003) Admissible Representations for Continuous Computations, Ph.D. thesis, FernUniversität, Hagen.
24. Scott, D.S. (1976) Data types as lattices. SIAM J. Comput. 5 522-587.
25. Simpson, A. K. (2003) Towards a convenient category of topological domains. In: Proceedings of thirteenth ALGI Workshop, RIMS, Kyoto University.
26. Steenrod, N. E. (1967) A convenient category of topological spaces. Michigan Math. J. 14 133-152.
27. Weihrauch, K. (2000) Computable Analysis, Springer.
28. Wyler, O. (1974) Filter space monads, regularity, completions. In: Proceedings TOPO 72 - General Topology and its Applications. Springer-Verlag Lecture Notes in Mathematics 378 591-637.
29. Wyler, O. (1981) Dedekind complete posets and scott topologies. In: Continuous Lattices, Proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices, Bremen 1979. Springer-Verlag Lecture Notes in Mathematics 871 384-389.