Vasco Brattka. Computable Versions of Baire s Category Theorem. In Jiri Sgall, Ales Pultr, Petr Kolman, editors, Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings. Volume 2136 of Lecture Notes in Computer Science, pages 224-235, Springer, 2001. [doi]
@inproceedings{Brattka01,
title = {Computable Versions of Baire s Category Theorem},
author = {Vasco Brattka},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2136/21360224.htm},
researchr = {https://researchr.org/publication/Brattka01},
cites = {0},
citedby = {0},
pages = {224-235},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings},
editor = {Jiri Sgall and Ales Pultr and Petr Kolman},
volume = {2136},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42496-2},
}