Synthetic topology of data types and classical spaces

Research output: Contribution to journal › Article

54 Citations (Scopus)

Original language	English
Pages (from-to)	21-156
Number of pages	136
Journal	Electronic Notes in Theoretical Computer Science
Volume	87
DOIs	https://doi.org/10.1016/j.entcs.2004.09.017
Publication status	Published - 1 Jan 2004

Access to Document

@article{af01071473b14eba849441a53d772f61,

title = "Synthetic topology of data types and classical spaces",

author = "Martin Escardo",

year = "2004",

month = jan,

day = "1",

doi = "10.1016/j.entcs.2004.09.017",

language = "English",

volume = "87",

pages = "21--156",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Synthetic topology of data types and classical spaces

AU - Escardo, Martin

PY - 2004/1/1

Y1 - 2004/1/1

UR - http://www.scopus.com/inward/record.url?scp=23844479323&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2004.09.017

DO - 10.1016/j.entcs.2004.09.017

M3 - Article

SN - 1571-0661

VL - 87

SP - 21

EP - 156

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -