On the Uniform Computational Content of Computability Theory

Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer. On the Uniform Computational Content of Computability Theory. Theory Comput. Syst., 61(4):1376-1426, 2017. [doi]

Authors

Vasco Brattka

This author has not been identified. Look up 'Vasco Brattka' in Google

Matthew Hendtlass

This author has not been identified. Look up 'Matthew Hendtlass' in Google

Alexander P. Kreuzer

This author has not been identified. Look up 'Alexander P. Kreuzer' in Google