TY  - RPRT
TI  - Effective Choice and Boundedness Principles in Computable Analysis
AU  - Vasco Brattka
AU  - Guido Gherardi
PY  - 2009
DO  - 10.2178/bsl/1294186663
UR  - https://arxiv.org/abs/0905.4685
ID  - 0905.4685
ER  -