TY  - RPRT
TI  - On the Uniform Computational Content of Computability Theory
AU  - Vasco Brattka
AU  - Matthew Hendtlass
AU  - Alexander P. Kreuzer
PY  - 2017
DO  - 10.1007/s00224-017-9798-1
UR  - https://arxiv.org/abs/1501.00433
ID  - 1501.00433
ER  -