1. Blanck, J.: Domain representability of metric spaces. Annals of Pure and Applied Logic 83, 225–247 (1997)
2. DeJaeger, F.: Calculabilité sur les réels. Thesis. Paris VII (2003)
3. Kleene, S.C.: Recursive functionals and quantifiers of finite types I. Trans. Amer. Math. Soc. 91, 1–52 (1959)
4. Kleene, S.C.: Countable functionals. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 81–100. North-Holland, Amsterdam (1959)
5. Kreisel, G.: Interpretation of analysis by means of functionals of finite type. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 101–128. North-Holland, Amsterdam (1959)