Continuous lattices in formal topology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1512, Issue , 1998, Pages 333-353

  Negri, Sara ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONTINUOUS LATTICES; FORMAL TOPOLOGY; LOCALLY COMPACT; REPRESENTATION THEOREM; SCOTT FORMAL TOPOLOGY;

TOPOLOGY;

EID: 0041392916     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0097800     Document Type: Conference Paper

References (37)

1. S. Abramsky, A. Jung. Domain theory, in "Handbook of Logic in Computer Science", vol. 3, Clarendon Press, Oxford, pp. 1-168, 1994.
2. P. Aczel. An introduction to inductive definitions, in "Handbook of Math ematical Logic", J. Barwise (ed), North-Holland, pp. 739-782, 1977.
3. B. Banaschewski, R.-E. Hoffmann (eds), "Continuous Lattices", Lecture Notes in Mathematics 871, pp. 209-248, Springer, 1981.
4. G. Battilotti, G. Sambin. A uniform presentation of sup-lattices, quantales and frames by means of infinitary preordered sets, pretopologies and formal topologies, Preprint no. 19, Dept, of Pure and Applied Mathematics, University of Padova, 1993.
5. J. Cederquist. A machine assisted formalization ofpointfree topology in type theory, Chalmers University of Technology and University of Goteborg, Sweden, Licentiate Thesis, 1994.
6. J. Cederquist. An implementation of the Heine-Borel covering theorem in type theory, this volume.
7. J. Cederquist. A machine assisted proof of the Hahn-Banach theorem, Chalmers University of Technology and University of Goteborg, 1997.
8. J. Cederquist, T. Coquand, S. Negri. The Hahn-Banach theorem in type theory, to appear in "Twenty-Five Years of Constructive Type Theory" G. Sambin and J. Smith (eds), Oxford University Press.
9. J. Cederquist, S. Negri. A constructive proof of the Heine-Borel covering theorem for formal reals, in "Types for Proofs and Programs", S. Berardi and M. Coppo (eds), Lecture Notes in Computer Science 1158, pp. 62-75, Springer, 1996.
10. A. Edalat. Domain theory and integration, Theoretical Computer Science 151, pp. 163-193, 1995.
11. A. Edalat, S. Negri. The generalized Riemann integral on locally compact spaces (extended abstract), in "Advances in Theory and Formal Methods of Computing", A. Edalat, S. Jourdan and G. McCusker (eds), World Scientific, Singapore, 1996.
12. A. Edalat, S. Negri. The generalized Riemann integral on locally compact spaces, Topology and its Applications (in press).
13. M. P. Fourman, R.J. Grayson. Formal spaces, in "The L. E. J. Brouwer Centenary Symposium", A. S. Troelstra and D. van Dalen (eds), pp. 107-122, North-Holland, Amsterdam, 1982.
14. G. Gierz, K.H. Hoffmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott. "A Compendium on Continuous Lattices", Springer, 1980.
15. K.H. Hoffmann, J.D. Lawson. The spectral theory of distributive continuous lattices, Transactions of the American Mathematical Society 246, pp. 285-310, 1978.
16. J.R. Isbell. Atomless parts of spaces, Mathematica Scandinavica 31, pp. 5-32, 1972.
17. P. T. Johnstone. "Stone Spaces", Cambridge University Press, 1982.
18. A. Joyal, M. Tierney. An extension of the Galois theory of Grothendieck, Memoirs of the American Mathematical Society 51, no. 309, pp. 1-71, 1984.
19. S. MacLane. "Categories for the Working Mathematician", Springer, 1971.
20. P. Martin-Löf. "Notes on Constructive Mathematics", Almqvist & Wiksell, Stockholm, 1970.
21. P. Martin-Löf. "Intuitionistic Type Theory", Bibliopolis, Napoli, 1984.
22. C.J. Mulvey, J.W. Pelletier. A globalization of the Hahn-Banach theorem, Advances in Mathematics 89, pp. 1-60, 1991.
23. S. Negri. Stone bases, alias the constructive content of Stone representation, in "Logic and Algebra", A. Ursini and P. Agliano (eds), Dekker, New York, pp. 617-636, 1996.
24. S. Negri. "Dalla topologia formale all’analisi", Ph. D. thesis, University of Padova, 1996.
25. S. Negri, D. Soravia. The continuum as a formal space, Archive for Mathematical Logic (in press).
26. S. Negri, S. Valentini. Tychonoff’s theorem in the framework of formal topologies, The Journal of Symbolic Logic (in press).
27. B. Nordström, K. Petersson, J. Smith, "Programming in Martin-Löf’s Type Theory", Oxford University Press, 1990.
28. G. Sambin. Intuitionistic formal spaces - a first communication, in "Mathematical Logic and its Applications", D. Skordev (ed), Plenum Press, New York, pp. 187-204, 1987.
29. G. Sambin. Intuitionistic formal spaces and their neighbourhood, in "Logic Colloquium '88", R. Ferro et al., (eds), pp. 261-285, North-Holland, Amsterdam, 1989.
30. G. Sambin, S. Valentini, P. Virgili. Constructive domain theory as a branch of intuitionistic pointfree topology, Theoretical Computer Science 159, pp. 319-341, 1996.
31. D.S. Scott. Continuous lattices, in "Toposes, Algebraic Geometry and Logic", F.W. Lawvere (ed), Lecture Notes in Mathematics 274, pp. 97-136, Springer, 1972.
32. D.S. Scott. Models for various type-free calculi, in "Logic, Methodology and Philosophy of Science IV", P. Suppes et al. (eds), North-Holland, pp. 157-187, 1973.
33. I. Sigstam. "On formed spaces and their effective presentations", Ph. D. thesis, Report 1990:7, Department of Mathematics, University of Uppsala.
34. I. Sigstam. Formal spaces and their effective presentation, Archive for Mathematical Logic 34, pp. 211-246, 1995.
35. I. Sigstam, V. Stoltenberg-Hansen. Representability of locally compact spaces by domains and formal spaces, Theoretical Computer Science 179, pp. 319-331, 1997.
36. V. Stoltenberg-Hansen, I. Lindström, E.R. Griffor. "Mathematical Theory of Domains", Cambridge University Press, 1994.
37. S. Vickers. "Topology via Logic", Cambridge University Press, 1989.