Synthetic topology of data types and classical spaces

Research output: Contribution to journalArticle

Standard

Synthetic topology of data types and classical spaces. / Escardo, Martin.

In: Electronic Notes in Theoretical Computer Science, Vol. 87, 01.01.2004, p. 21-156.

Research output: Contribution to journalArticle

Harvard

APA

Vancouver

Author

Bibtex

@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",

}

RIS

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

VL - 87

SP - 21

EP - 156

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -