Fundamenta Informaticae > 2020 > Vol. 176, nr 1 > 61--78
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2020-1963 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Sambin G. Some points in formal topology. Theoretical Computer Science, 2003. 305:347-408. URL https://doi.org/10.1016/S0304-3975(02)00704-1.
-
[2] Sambin G. Positive Topology and the Basic Picture. New structures emerging from Constructive Mathematics. Oxford University Press. To appear.
-
[3] Maietti ME, Sambin G. Toward a minimalist foundation for constructive mathematics. In: L Crosilla and P Schuster (ed.), From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematics, number 48 in Oxford Logic Guides. Oxford University Press, 2005 pp. 91-114. ISBN-13:9780198566519.