The largest topological subcategory of countably-based equilogical spaces

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 375-398

  Menni, Matías ^a   Simpson, Alex ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; OBJECT ORIENTED PROGRAMMING; SEQUENTIAL MACHINES; SET THEORY; THEOREM PROVING; TOPOLOGY;

CARTESIAN-CLOSED CATEGORIES; EQUILOGICAL SPACES; SEQUENTIAL SPACES;

COMPUTER SCIENCE;

EID: 19344376686     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80084-7     Document Type: Conference Paper

References (29)

1. A. Bauer, L. Birkedal and D. S. Scott, Equilogical spaces, Submitted manuscript, 1998.
2. Berger U. Total sets and objects in domain theory. Annals of Pure and Applied Logic. 60:1993;91-117
3. Berger U. Continuous Functionals of Dependent and Transfinite Types. 1997;Habilitationsschrift, München
4. A. Carboni and G. Rosolini, Locally cartesian closed exact completions, Submitted to the Journal of Pure and Applied Algebra, 1998.
5. Davey B.A., Priestly H.A. Information to Lattices and Order. 1990;Cambridge University Press
6. Day B. A reflection theorem for closed categories. Journal of Pure and Applied Algebra. 2:1972
7. Franklin S.P. Spaces in which sequences suffice. Fund. Math. 57:1965;107-115
8. Freyd P.J., Scedrov A. Categories, Allegories. 1990;North Holland
9. Friedman H. Equality between functionals. Parikh R. Logic Colloquium. 1975;Springer-Verlag, New York
10. Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M., Scott D.S. A Compendium of Continuous Lattices. 1980;Springer-Verlag
11. R. Heckmann, On the Relationship between Filter Spaces and Equilogical Spaces, Manuscript, 1998.
12. J. M. E. Hyland, Continuity in spatial toposes, In: Applications of Sheaves, Lecture N otes in Mathematics 753 (1979), pp. 442-465.
13. Hyland J.M.E. Filter spaces and continuous functionals. Annals of Mathematicals Logic. 16:1979;101-143
14. J. M. E. Hyland, First steps in synthetic domain theory, In: Category Theory, Proceedings, Como 1990, Lecture Notes in Mathematics 1488 (1990).
15. P. T. Johnstone, On a topological topos, Proceedings of the London Mathematical Society 38 (1979), pp. 237-271.
16. A Jung, The troublesome probabilistic powerdomain, Electronic Notes in Theoretical Computer Science 13 (1998), URL: http://www.elsevier.nl/locate/ entcs/volume13.html.
17. C. Kreitz and K. Weihrauch, Theory of representations, Theoretical Computer Science 38 (185), pp. 35-53.
18. C. Kuratowski, Topologie, Warsawa, 1952
19. Lane Mac S. Categories for the Working Mathematician. Graduate Texts in Mathematics. 1971;Springer Verlag
20. D. Normann, The continuous functionals of finite types over the reals, Manuscripts, 1998.
21. D. Normann and G. Waabgø, Limit Spaces and Transfinite Types, Manuscript, 1998.
22. J. Rosický, Cartesian closed exact completions, Available from the Hypatia Electronic Library: URL: http://hypatia.dcs.qmw.ac.uk, 1997.
23. G. Rosolini, Equilogical spaces and filter spaces, Manuscript, 1998.
24. G. Rosolini, L. Birkedal, A. Carbonai and D.S. Scott, Types theory via exact categories, In: Proceedings of 13th Annual Symposium on Logic in Computer Science, 1998, pp. 188-198.
25. Scarpellini B. A model for bar recursion at higher types. Comp. Math. 23:1971;123-153
26. D. S. Scott, Continuous lattices, In: Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274 (1972), pp. 97-136.
27. Scott D.S. Data types as lattices. SIAM Journal of Computing. 5:1976;522-587
28. Smyth M.B. Topology. Handbook of Logic in Computer Science, Volume 1. 1992;Oxford Science Publications
29. K. Weihrauch and G. Schafer, Admissible representations of effective cpos, Theoretical Computer Science 26 (1983), pp. 131-147.