Topical categories of domains

Mathematical Structures in Computer Science

Volumn 9, Issue 5, 1999, Pages 569-616

  Vickers, Steven ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85022828225     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129599002741     Document Type: Article

References (48)

1. Abramsky, S. (1991) Domain theory in logical form. Annals of Pure and Applied Logic 51 1–77.
2. Acuna-Ortega, O. and Linton, F.E.J. (1979) Finiteness and decidability I. In: Fourman, M.P., Mulvey, C. J. and Scott, D. S. (eds.) Durham Symposium on Applications of Sheaf Theory. Springer-Verlag Lecture Notes in Mathematics 753 80–100.
3. Broda, K., Eisenbach, S., Khoshnevisan, H. and Vickers, S. J. (1994) Reasoned Programming, Prentice Hall International Series in Computer Science.
4. Carboni, A., Pedicchio, M. C. and Rosolini, G. (1991) (eds.) Category Theory, Proceedings, Como 1990. Springer-Verlag Lecture Notes in Mathematics 1488.
5. Crole, R.L. and Pitts, A.M. (1992) New Foundations for Fixpoint Computations: FIX-hyperdoctrines and the FIX-logic. Information and Computation 98 171–210.
6. Fourman, M.P., Johnstone, P.T. and Pitts, A.M. (1992) (eds.) Applications of Categories in Computer Science, LMS Lecture Note Series 177, Cambridge University Press.
7. Freyd, P. (1991) Algebraically complete categories. In: Carboni, A., Pedicchio, M. C. and Rosolini, G. (1991) (eds.) Category Theory, Proceedings, Como 1990. Springer-Verlag Lecture Notes in Mathematics 1488 95–104.
8. Freyd, P. (1992) Remarks on algebraically compact categories. In: Fourman, M.P., Johnstone, P.T. and Pitts, A. M. (1992) (eds.) Applications of Categories in Computer Science, LMS Lecture Note Series 177, Cambridge University Press 95–106.
9. Grothendieck, A. and Verdier, J. L. (1972) Theorie des Topos (SGA 4, volume I). Springer-Verlag Lecture Notes in Mathematics 269.
10. Hyland, J. M. E. and Moerdijk, I. (unpublished) An application of Beck’s theorem. Hyland, J.M.E. and Pitts, A.M. (1989) The theory of constructions: categorical semantics and topos-theoretic models. In: Gray, J.W. and Scedrov, A. (eds.) Categories in Computer Science and Logic. Contemporary Mathematics 92, Amer. Math. Soc., Providence RI 137–199.
11. Johnstone, P. T. (1977) Topos Theory, Academic Press, London.
12. Johnstone, P.T. (1981) Scott is not always sober. In: Continuous Lattices. Springer-Verlag Lecture Notes in Mathematics 871 282–283.
13. Johnstone, P. T. (1982) Stone Spaces. Cambridge Studies in Advanced Mathematics 3, Cambridge University Press.
14. Johnstone, P.T. (1982a) Vietoris locales and localic semi-lattices. In: Hoffmann, R.-E. (ed.) Continuous Lattices and their Applications. Pure and Applied Mathematics 101, Marcel Dekker (this edition published 1985) 155–180.
15. Johnstone, P. T. (1984) Open locales and exponentiation. Contemporary Mathematics 30 84–116.
16. Johnstone, P. T. (1985) How general is a generalized space? In: Aspects of Topology (in memory of Hugh Dowker), LMS Lecture Note Series 93 77–111.
17. Johnstone, P.T. (1992) Partial products, bagdomains and hyperlocal toposes. In: Fourman M.P., Johnstone, P. T. and Pitts, A. M. (1992) (eds.) Applications of Categories in Computer Science, LMS Lecture Note Series 177, Cambridge University Press 315–339.
18. Johnstone, P. T. (1993) Fibrations and partial products in a 2-category. Applied Categorical Structures 1 141–179.
19. Johnstone, P. T. and Joyal, A. (1982) Continuous categories and exponentiable toposes. Journal of Pure and Applied Algebra 25 255–296.
20. Johnstone, P.T. and Linton, L.E.J. (1978) Finiteness and decidability: II. Math. Proc. Camb. Phil. Soc. 84 207–218.
21. Johnstone, P. T. and Moerdijk, I. (1989) Local maps of toposes. Proc. Lond. Math. Soc. (3rd series) 58 281–305.
22. Johnstone, P.T. and Vickers, S. J. (1991) Preframe presentations present. In: Carboni, A., Pedicchio, M. C. and Rosolini, G. (eds.) Category Theory, Proceedings, Como 1990. Springer-Verlag Lecture Notes in Mathematics 1488 193–212.
23. Joyal, A. and Tierney, M. (1984) An Extension of the Galois Theory of Grothendieck. Memoirs of the American Mathematical Society 309.
24. Kock, A., Lecoutourier, P. and Mikkelsen, C. J. (1975) Some topos-theoretic concepts of finiteness. In: Lawvere, Maurer and Wraith (eds.) Model Theory and Topoi. Springer-Verlag Lecture Notes in Mathematics 445 209–283.
25. Lane, S. M. (1971) Generalized Spaces for the Working Librarian, Springer-Verlag.
26. Larsen, K. and Winskel, G. (1984) Using information systems to solve recursive domain equations effectively. In: Kahn, MacQueen and Plotkin (ed.) Semantics of Data Types. Springer-Verlag Lecture Notes in Computer Science 173 109–129.
27. Mac Lane, S. (1971) Categories for the Working Mathematician, Springer-Verlag.
28. Mac Lane, S. and Moerdijk, I. (1992) Sheaves in geometry and logic, Springer-Verlag.
29. Makkai, M. and Reyes, G. E. (1977) First Order Categorical Logic. Springer-Verlag Lecture Notes in Mathematics 611.
30. Morgan, C. (1990) Programming from Specifications, Prentice Hall.
31. Pitts, A. (1996) Relational properties of domains. Information and Computation 127 66–90.
32. Plotkin, G. D. (1976) A powerdomain construction. SIAM Journal on Computing 5 452–487.
33. Plotkin, G. D. (1981) Postgraduate Lecture Notes in Advanced Domain Theory, Dept of Computing Science, University of Edinburgh.
34. Robinson, E. (1986) Power-domains, modalities and the Vietoris monad. Technical Report 98, Computer Laboratory, University of Cambridge. Stone, M. H. (1938) The representation of Boolean algebras. Bull. Amer. Math. Soc. 44 807–816.
35. Taylor, P. (1986) Recursive Domains, Indexed Category Theory and Polymorphism. Ph. D. thesis, University of Cambridge.
36. Vickers, S. J. (1989) Topology via Logic, Cambridge University Press.
37. Vickers, S. J. (1992) Geometric theories and databases. In: Fourman, M.P., Johnstone, P.T. and Pitts, A. M. (1992) (eds.) Applications of Categories in Computer Science, LMS Lecture Note Series 177, Cambridge University Press 288–314.
38. Vickers, S. J. (1992a) Topical categories of domains. In: Winskel, G. (ed.) Proceedings of the CLICS workshop, Aarhus. Technical report DAIMI PB-397—I Computer Science Department, Aarhus University 261–274.
39. Vickers, S. J. (1993) Information systems for continuous posets. Theoretical Computer Science 114 201–229.
40. Vickers, S.J. (1993a) Geometric logic in computer science. In: Burn, Gay and Ryan (eds.) Theory and Formal Methods 1993. Workshops in Computing, Springer-Verlag 37–54.
41. Vickers, S.J. (1995) Locales are not pointless. In: Hankin, Mackie and Nagarajan (eds.) Theory and Formal Methods of Computing 1994, Imperial College Press 199–216.
42. Vickers, S.J. (1995a) Geometric logic as a specification language. In: Hankin, Mackie and Nagarajan (eds.) Theory and Formal Methods of Computing 1994, Imperial College Press 321–340.
43. Vickers, S.J. (1995b) Toposes pour les nuls. Semantics Society Newsletter 4. (Also available as Research Report DoC96/4 (1996), Department of Computing, Imperial college, London.)
44. Vickers, S.J. (1996) Toposes pour les vraiment nuls. In: Edalat, Jourdan and McCusker (eds.) Advances in Theory and Formal Methods of Computing 1996, Imperial College Press 1–12.
45. Vickers, S.J. (1997) Constructive points of powerlocales. Math. Proc. Cam. Phil. Soc. 122 207–222.
46. Vickers, S.J. (1997a) Localic completion of quasimetric spaces. Research Report DoC97/2, Department of Computing, Imperial College, London.
47. Vickers, S.J. (1998) Strongly algebraic = SFP (topically). To appear in Theory and Formal Methods of Computing 1998, Department of Computing, Imperial College, London.
48. Vickers, S.J. (1998a) Topology via constructive logic. To appear in: Moss, Ginzburg and de Rijke (eds.) Logic, Language, and Computation Vol. II, CSLI Publications, Stanford.