Comparing representations for function spaces in computable analysis

Arno Pauly, Florian Steinberg

This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace represen…