[1] J. P. Azra, B. Jaulin: Récursivité. Collection Programmation, Gauthier-Villars (1973). MR 0369039 | Zbl 0276.02019

[2] S. Kleene: Recursive functionals and quantifiers of finite types I. Trans. Amer. Math. Soc. 91 (1959), 1-52. MR 0102480 | Zbl 0088.01301

[3] J. Fenstad: General recursion theory. Perspectives in mathematical logic, Springer-Verlag (1980). MR 0584262 | Zbl 0439.03030

[4] H. Friedman: Axiomatic recursive function theory. Logic colloquium '69, North-Holland (1971), 113-137. MR 0276082 | Zbl 0221.02019

[5] A. Kechris, Y. Moschovakis: Recursion in higher types. Handbook of mathematical logic, North-Holland (1977), 681 -737. MR 0457132

[6] R. Mijoule: L'universalité des semi-fonctions récursives universelles. Diagrammes Vol. 12 (1984). MR 0800499 | Zbl 0564.18002

[7] R. Paré, D. Schumacher: Abstract families and the adjoint functor theorems. Lectures notes in mathematics 661 (1978). MR 0514193

[8] H. Rogers, Jr.: Theory of recursive functions and effective computability. New York, MacGraw-Hill (1967). MR 0224462 | Zbl 0183.01401

[9] R. Rosebrugh: On defining objects by recursion in a topos. Journal of pure and applied algebra 20 (1981), 325-335. MR 0604324 | Zbl 0459.18002