A preview of the basic picture: A new perspective on formal topology

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

Volumn 1657, Issue , 1999, Pages 194-208

  Sambin, Giovanni ^a   Gebellato, Silvia ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; CONCRETES; SET THEORY;

BINARY RELATION; CONSTRUCTIVE TOPOLOGY; CONTINUOUS FUNCTIONS; FORMAL TOPOLOGY; PROPOSITIONAL FUNCTIONS; RICH STRUCTURE; TOPOLOGICAL NOTIONS; TOPOLOGICAL SPACES;

TOPOLOGY;

EID: 84957025346     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48167-2_14     Document Type: Conference Paper

References (17)

1. C. Bergè, Espace topologiques - functions multivoques, Dunod, Paris, 1959. 205.
2. R. Dedekind, Stetigkeit und irrationale Zahlen, Vieweg, 1872. also in Gesammelte mathematische Werke, vol III, Vieveg 1932. 196.
3. R. Engelking, Outline of general topology, North-Holland, Amsterdam, 1968. 197.
4. P. T. Johnstone, Stone Spaces, Cambridge studies in advanced mathematics 3, Cambridge University Press, 1982. 196.
5. J. L. Kelley, General topology, Van Nostrand, Toronto, New York, London, 1955. 199.
6. P. Martin-Löf, “Intuitionistic type theory”, notes by Giovanni Sambin of a series of lectures given in Padua, June 1980, Bibliopolis, Naples, 1984. 194.
7. V. Pratt, A guide to Chu spaces. page of the World Wide Web with address: http://boole.stanford.edu/chuguide.html. 205.
8. V. Pratt, Chu spaces and their interpretation as concurrent objects, in Computer Science Today: Recent Trends and Developments, J. van Leeuwen, ed., Springer Lecture Notes in Computer Science 1000, 1995, pp. 392-405. 204.
9. G. Sambin, Intuitionistic formal spaces - a first communication, in Mathematical Logic and its Applications, D. Skordev, ed., Plenum, New York - London, 1987, pp. 187-204. 195, 196.
10. G. Sambin, Intuitionistic formal spaces vs. Scott domains, in Atti del Congresso “Temi e prospettive della logica e della filosofia della scienza contemporanee”, Cesena, January 7-10 1987, C. Cellucci and G. Sambin, eds., vol. 1, Bologna, 1988, CLUEB, pp. 159-163. 195.
11. G. Sambin, Formal topology - state of the art. in preparation. 195.
12. G. Sambin and V. Vaccaro, Topology and duality in modal logic, Annals of Pure and Applied Logic, 37 (1988), pp. 249-296. 205.
13. G. Sambin and S. Valentini, Building up a toolbox for Martin-Löf ’s type theory: subset theory, in Twenty-five Years of Constructive Type Theory, Proceedings of the Congress held in Venice, October, 1995, G. Sambin and J. Smith, eds., Oxford Logic Guides 36, Oxford U. P., 1998, pp. 221-244. 195, 197, 198.
14. G. Sambin, S. Valentini, and P. Virgili, Constructive domain theory as a branch of intuitionistic pointfree topology, Theoretical Computer Science, 159 (1996), pp. 319-341. 196.
15. I. Sigstam, Formal spaces and their effective presentations, Archive for Mathematical Logic, 34 (1995), pp. 211-246. 206.
16. M. B. Smyth, Topology, in Handbook of Logic in Computer Science, S. Abramsky, D. Gabbay, and T. Maibaum, eds., Oxford U. P., 1992. 205.
17. M. B. Smyth, Semi-metrics, closure spaces and digital topology, Theoretical computer science, 151 (1995), pp. 257-276. 205.