Geodesic
La théorie des fonctions indexées en récursivité
Archivum mathematicum, Tome 23 (1987) no. 4, pp. 191-206 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03D75, 18A15, 18A40 
@article{ARM_1987_23_4_a1,
     author = {Mijoule, Richard},
     title = {La th\'eorie des fonctions index\'ees en r\'ecursivit\'e},
     journal = {Archivum mathematicum},
     pages = {191--206},
     year = {1987},
     volume = {23},
     number = {4},
     mrnumber = {930780},
     zbl = {0639.03050},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ARM_1987_23_4_a1/}
}
TY  - JOUR
AU  - Mijoule, Richard
TI  - La théorie des fonctions indexées en récursivité
JO  - Archivum mathematicum
PY  - 1987
SP  - 191
EP  - 206
VL  - 23
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/ARM_1987_23_4_a1/
LA  - fr
ID  - ARM_1987_23_4_a1
ER  - 
%0 Journal Article
%A Mijoule, Richard
%T La théorie des fonctions indexées en récursivité
%J Archivum mathematicum
%D 1987
%P 191-206
%V 23
%N 4
%U http://geodesic.mathdoc.fr/item/ARM_1987_23_4_a1/
%G fr
%F ARM_1987_23_4_a1
Mijoule, Richard. La théorie des fonctions indexées en récursivité. Archivum mathematicum, Tome 23 (1987) no. 4, pp. 191-206. http://geodesic.mathdoc.fr/item/ARM_1987_23_4_a1/

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

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

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

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

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

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

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

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

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