Metric complements of overt closed sets
Journal article, 2011
locales
formal topology
formal topology
Constructive analysis
Author
Thierry Coquand
University of Gothenburg
E. Palmgren
Uppsala University
Swedish Collegium for Advanced Study (SCAS)
Bas Spitters
Radboud University
Mathematical Logic Quarterly
0942-5616 (ISSN) 1521-3870 (eISSN)
Vol. 57 4 373-378Subject Categories
Other Mathematics
DOI
10.1002/malq.201010011