{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T21:14:03Z","timestamp":1770412443842,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540665373","type":"print"},{"value":"9783540481676","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48167-2_14","type":"book-chapter","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T07:40:19Z","timestamp":1191570019000},"page":"194-208","source":"Crossref","is-referenced-by-count":16,"title":["A Preview of the Basic Picture: A New Perspective on Formal Topology"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Sambin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Gebellato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"14_CR1","unstructured":"C. Berg\u00e9, Espace topologiques-functions multivoques, Dunod, Paris, 1959. 205"},{"key":"14_CR2","unstructured":"R. Dedekind, Stetigkeit und irrationale Zahlen, Vieweg, 1872. also in Gesammelte mathematische Werke, vol III, Vieveg 1932. 196"},{"key":"14_CR3","unstructured":"R. Engelking, Outline of general topology, North-Holland, Amsterdam, 1968. 197"},{"key":"14_CR4","unstructured":"P. T. Johnstone, Stone Spaces, Cambridge studies in advanced mathematics 3, Cambridge University Press, 1982. 196"},{"key":"14_CR5","volume-title":"General topology","author":"J. L. Kelley","year":"1955","unstructured":"J. L. Kelley, General topology, Van Nostrand, Toronto, New York, London, 1955. 199"},{"key":"14_CR6","unstructured":"P. Martin-L\u00f6f, \u201cIntuitionistic type theory\u201d, notes by Giovanni Sambin of a series of lectures given in Padua, June 1980, Bibliopolis, Naples, 1984. 194"},{"key":"14_CR7","unstructured":"V. Pratt, A guide to Chu spaces. page of the World Wide Web with address: http:\/\/boole.stanford.edu\/chuguide.html . 205"},{"key":"14_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/BFb0015256","volume-title":"Computer Science Today: Recent Trends and Developments","author":"Pratt","year":"1995","unstructured":"\u2014, 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\u2013405. 204"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-1-4613-0897-3_12","volume-title":"Mathematical Logic and its Applications","author":"G. Sambin","year":"1987","unstructured":"G. Sambin, Intuitionistic formal spaces-a first communication, in Mathematical Logic and its Applications, D. Skordev, ed., Plenum, New York-London, 1987, pp. 187\u2013204. 195, 196"},{"key":"14_CR10","unstructured":"\u2014, Intuitionistic formal spaces vs. Scott domains, in Atti del Congresso \u201cTemi e prospettive della logica e della filosofia della scienza contemporanee\u201d, Cesena, January 7\u201310 1987, C. Cellucci and G. Sambin, eds., vol. 1, Bologna, 1988, CLUEB, pp. 159\u2013163. 195"},{"key":"14_CR11","unstructured":"\u2014, Formal topology-state of the art. in preparation. 195"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0168-0072(88)90021-8","volume":"37","author":"G. Sambin","year":"1988","unstructured":"G. Sambin and V. Vaccaro, Topology and duality in modal logic, Annals of Pure and Applied Logic, 37 (1988), pp. 249\u2013296. 205","journal-title":"Annals of Pure and Applied Logic"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"G. Sambin and S. Valentini, Building up a toolbox for Martin-L\u00f6f\u2019 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\u2013244. 195, 197, 198","DOI":"10.1093\/oso\/9780198501275.003.0014"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0304-3975(95)00169-7","volume":"159","author":"G. Sambin","year":"1996","unstructured":"G. Sambin, S. Valentini, and P. Virgili, Constructive domain theory as a branch of intuitionistic pointfree topology, Theoretical Computer Science, 159 (1996), pp. 319\u2013341. 196","journal-title":"Theoretical Computer Science"},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF01469380","volume":"34","author":"I. Sigstam","year":"1995","unstructured":"I. Sigstam, Formal spaces and their effective presentations, Archive for Mathematical Logic, 34 (1995), pp. 211\u2013246. 206","journal-title":"Archive for Mathematical Logic"},{"key":"14_CR16","unstructured":"M. B. Smyth, Topology, in Handbook of Logic in Computer Science, S. Abramsky, D. Gabbay, and T. Maibaum, eds., Oxford U. P., 1992. 205"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(95)00053-Y","volume":"151","author":"M. B. Smyth","year":"1995","unstructured":"\u2014, Semi-metrics, closure spaces and digital topology, Theoretical computer science, 151 (1995), pp. 257\u2013276. 205","journal-title":"Theoretical computer science"}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48167-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T09:57:05Z","timestamp":1684058225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48167-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665373","9783540481676"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48167-2_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}