1. de Brecht, M.: Quasi-polish spaces. Ann. Pure Applied Logic 164, 356–381 (2013)
2. Kechris, A.S.: Classical Descriptive Set Theory. Springer, New York (1995)
3. Kleene, S.C.: Countable functionals. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 87–100. North Holland, Amsterdam (1959)
4. Kreisel, G.: Interpretation of analysis by means of constructive functionals of finite types. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 101–128. North Holland, Amsterdam (1959)
5. Schröder, M: Admissible representations for continuous computations. Ph.D. thesis Fachbereich Informatik, FernUniversität Hagen (2003)