TY  - RPRT
TI  - Comparing representations for function spaces in computable analysis
AU  - Arno Pauly
AU  - Florian Steinberg
PY  - 2016
UR  - https://arxiv.org/abs/1512.03024
ID  - 1512.03024
ER  -