K. Weihrauch, Computable Analysis, 2000.

M. Schröder, Extended admissibility, Theor. Comput. Sci, vol.284, issue.2, pp.519-538, 2002.

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

S. Kleene, Countable functionals, pp.81-100, 1959.

G. Kreisel, Interpretation of analysis by means of functionals of finite type, Constructivity in Mathematics, pp.101-128, 1959.

A. Pauly and M. De-brecht, Descriptive set theory in the category of represented spaces, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, pp.438-449, 2015.

M. H. Escard, PCF extended with real numbers, Theoretical Computer Science, vol.162, issue.1, pp.79-115, 1996.

A. Edalat, Domains for computation in mathematics, physics and exact real arithmetic, The Bulletin of Symbolic Logic, vol.3, issue.4, pp.401-452, 1997.

J. Blanck, Domain representations of topological spaces, Theoretical Computer Science, vol.247, issue.1, pp.229-255, 2000.

M. Hoyrup and C. Rojas, On the information carried by programs about the objects they compute, STACS 2015, vol.30, pp.447-459, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01067618

M. Hoyrup, Results in descriptive set theory on some represented spaces, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01657883

M. Ziegler, Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra, Constructivity: From Logic to Algorithms, vol.163, pp.1108-1139, 2012.

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

M. Hoyrup and C. Rojas, An application of Martin-Löf randomness to effective probability theory, Lecture Notes in Computer Science, vol.5635, pp.260-269, 2009.

M. Hoyrup, The decidable properties of subrecursive functions, ICALP 2016, vol.55, pp.1-108, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01308224

V. Brattka, Effective borel measurability and reducibility of functions, Mathematical Logic Quarterly, vol.51, issue.1, pp.19-44, 2004.

M. De-brecht, Quasi-polish spaces, Ann. Pure Appl. Logic, vol.164, issue.3, pp.356-381, 2013.

M. Escardó and R. Heckmann, Topologies on spaces of continuous functions, Topology Proceedings, vol.26, issue.2, pp.545-564, 2001.

M. Schröder, The sequential topology on N N N is not regular, Mathematical Structures in Computer Science, vol.19, issue.5, pp.943-957, 2009.

M. De-brecht, M. Schröder, and V. Selivanov, Base-complexity classifications of qcb0spaces, Computability, vol.5, issue.1, pp.75-102, 2016.

F. W. Lawvere, In: Diagonal arguments and cartesian closed categories, pp.134-145, 1969.