%0 Conference Paper %1 journals/entcs/Escardo04 %A Escardó, Martín Hötzel %B DTMPP %D 2003 %E Desharnais, Josée %E Panangaden, Prakash %I Elsevier %K dblp %P 21-156 %T Synthetic Topology: of Data Types and Classical Spaces. %U http://dblp.uni-trier.de/db/journals/entcs/entcs87.html#Escardo04 %V 87

@inproceedings{journals/entcs/Escardo04, added-at = {2022-12-07T00:00:00.000+0100}, author = {Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/2b70d211dacb4be0b4112ba467b1905bc/dblp}, booktitle = {DTMPP}, crossref = {conf/dtmpp/2003}, editor = {Desharnais, Josée and Panangaden, Prakash}, ee = {https://doi.org/10.1016/j.entcs.2004.09.017}, interhash = {122f5edb69036c21bac28afd87972b43}, intrahash = {b70d211dacb4be0b4112ba467b1905bc}, keywords = {dblp}, pages = {21-156}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T12:45:15.000+0200}, title = {Synthetic Topology: of Data Types and Classical Spaces.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs87.html#Escardo04}, volume = 87, year = 2003 }