1. Escardó, M.H.: Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics. J. Symb. Log. 78(3), 764–784 (2013)
2. Feferman, S.: Recursion in total functionals of finite type. Compos. Math. 35, 3–22 (1977)
3. Gandy, R.O., Hyland, J.M.E.: Computable and recursively countable functions of higher type. In: Gandy, R.O., Hyland, J.M.E. (eds.) Logic Colloquium ’76, pp. 407–438. North Holland, Amsterdam (1977)
4. Gödel, K.: The present situation in the foundations of mathematics (1933). Collected Works, vol. III, pp. 45–53. Oxford University Press, Oxford (1995)
5. Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica 12, 280–287 (1958). Reprinted with an English translation in Gödel [7]. Gödel [6] is a revised version