V. Brattka, M. D. Brecht, and A. Pauly, Closed choice and a uniform low basis theorem, Annals of Pure and Applied Logic, vol.163, issue.8, pp.986-1008, 2012.

V. Brattka and G. Gherardi, Effective choice and boundedness principles in computable analysis, Bulletin of Symbolic Logic, vol.17, issue.1, pp.73-117, 2011.

A. Pauly, On the topological aspects of the theory of represented spaces, Computability, vol.5, issue.2, pp.159-180, 2016.

A. Pauly and F. Steinberg, Comparing representations for function spaces in computable analysis. Theory of Computing Systems, vol.62, pp.557-582, 2018.

F. Steinberg, , 2018.

K. Weihrauch, Computable Analysis, 2000.