TY  - RPRT
TI  - On the Uniform Computational Content of the Baire Category Theorem
AU  - Vasco Brattka
AU  - Matthew Hendtlass
AU  - Alexander P. Kreuzer
PY  - 2016
DO  - 10.1215/00294527-2018-0016
UR  - https://arxiv.org/abs/1510.01913
ID  - 1510.01913
ER  -