Comparing Representations for Function Spaces in Computable Analysis - Arno Pauly (Theory of Computing Systems, 2017)