From Sets and Types to Topology and Analysis
From MaRDI portal
Publication:5704413
DOI10.1093/acprof:oso/9780198566519.001.0001zbMath1076.03003OpenAlexW2485511814WikidataQ61835221 ScholiaQ61835221MaRDI QIDQ5704413
No author found.
Publication date: 15 November 2005
Full work available at URL: https://doi.org/10.1093/acprof:oso/9780198566519.001.0001
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (2)
A constructive and functorial embedding of locally compact metric spaces into locales ⋮ The principle of pointfree continuity
This page was built for publication: From Sets and Types to Topology and Analysis