| Title:
|
La théorie des fonctions indexées en récursivité (French) |
| Title:
|
The theory of indexed functions in recursion (English) |
| Author:
|
Mijoule, Richard |
| Language:
|
French |
| Journal:
|
Archivum Mathematicum |
| ISSN:
|
0044-8753 (print) |
| ISSN:
|
1212-5059 (online) |
| Volume:
|
23 |
| Issue:
|
4 |
| Year:
|
1987 |
| Pages:
|
191-206 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D75 |
| MSC:
|
18A15 |
| MSC:
|
18A40 |
| idZBL:
|
Zbl 0639.03050 |
| idMR:
|
MR930780 |
| . |
| Date available:
|
2008-06-06T06:18:01Z |
| Last updated:
|
2012-05-09 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/107297 |
| . |
| Reference:
|
[1] J. P. Azra, B. Jaulin: Récursivité.Collection Programmation, Gauthier-Villars (1973). Zbl 0276.02019, MR 0369039 |
| Reference:
|
[2] S. Kleene: Recursive functionals and quantifiers of finite types I.Trans. Amer. Math. Soc. 91 (1959), 1-52. Zbl 0088.01301, MR 0102480 |
| Reference:
|
[3] J. Fenstad: General recursion theory.Perspectives in mathematical logic, Springer-Verlag (1980). Zbl 0439.03030, MR 0584262 |
| Reference:
|
[4] H. Friedman: Axiomatic recursive function theory.Logic colloquium '69, North-Holland (1971), 113-137. Zbl 0221.02019, MR 0276082 |
| Reference:
|
[5] A. Kechris, Y. Moschovakis: Recursion in higher types.Handbook of mathematical logic, North-Holland (1977), 681 -737. MR 0457132 |
| Reference:
|
[6] R. Mijoule: L'universalité des semi-fonctions récursives universelles.Diagrammes Vol. 12 (1984). Zbl 0564.18002, MR 0800499 |
| Reference:
|
[7] R. Paré, D. Schumacher: Abstract families and the adjoint functor theorems.Lectures notes in mathematics 661 (1978). MR 0514193 |
| Reference:
|
[8] H. Rogers, Jr.: Theory of recursive functions and effective computability.New York, MacGraw-Hill (1967). Zbl 0183.01401, MR 0224462 |
| Reference:
|
[9] R. Rosebrugh: On defining objects by recursion in a topos.Journal of pure and applied algebra 20 (1981), 325-335. Zbl 0459.18002, MR 0604324 |
| . |
