Synthetic topology of data types and classical spaces

Research output: Contribution to journalArticle

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)21-156
Number of pages136
JournalElectronic Notes in Theoretical Computer Science
Volume87
Publication statusPublished - 1 Jan 2004