Synthetic Topology: of Data Types and Classical Spaces
Open Access
- 12 November 2004
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 87, 21-156
- https://doi.org/10.1016/j.entcs.2004.09.017
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: