%0 Journal Article %1 journals/tcs/CoquandZ03 %A Coquand, Thierry %A Zhang, Guo-Qiang %D 2003 %J Theor. Comput. Sci. %K dblp %N 1-3 %P 77-84 %T A representation of stably compact spaces, and patch topology. %U http://dblp.uni-trier.de/db/journals/tcs/tcs305.html#CoquandZ03 %V 305

@article{journals/tcs/CoquandZ03, added-at = {2003-11-19T00:00:00.000+0100}, author = {Coquand, Thierry and Zhang, Guo-Qiang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b920a4b74d0f9def7014f9c94ee3ea09/dblp}, ee = {http://dx.doi.org/10.1016/S0304-3975(02)00695-3}, interhash = {0f296b12bab9a0b36213280ca9b83226}, intrahash = {b920a4b74d0f9def7014f9c94ee3ea09}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-3}, pages = {77-84}, timestamp = {2016-02-02T10:03:59.000+0100}, title = {A representation of stably compact spaces, and patch topology.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs305.html#CoquandZ03}, volume = 305, year = 2003 }