La théorie des fonctions indexées en récursivité
Mijoule, Richard
Archivum Mathematicum, Tome 023 (1987), p. 191-206 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1987-01-01
Classification:  03D75,  18A15,  18A40 
@article{107297,
     author = {Richard Mijoule},
     title = {La th\'eorie des fonctions index\'ees en r\'ecursivit\'e},
     journal = {Archivum Mathematicum},
     volume = {023},
     year = {1987},
     pages = {191-206},
     zbl = {0639.03050},
     mrnumber = {930780},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/107297}
}

Mijoule, Richard. La théorie des fonctions indexées en récursivité. Archivum Mathematicum, Tome 023 (1987) pp. 191-206. http://gdmltest.u-ga.fr/item/107297/

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

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

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

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

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

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

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

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

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