L'universalité des semi-fonctions récursives universelles
Diagrammes (1984)
- Volume: 12, page M1-M12
- ISSN: 0224-3911
Access Full Article
topHow to cite
topMijoule, R.. "L'universalité des semi-fonctions récursives universelles." Diagrammes 12 (1984): M1-M12. <http://eudml.org/doc/91745>.
@article{Mijoule1984,
author = {Mijoule, R.},
journal = {Diagrammes},
keywords = {S-computable; S-semi-computable; recursive structure; higher-order recursion; indexed categories},
language = {fre},
pages = {M1-M12},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {L'universalité des semi-fonctions récursives universelles},
url = {http://eudml.org/doc/91745},
volume = {12},
year = {1984},
}
TY - JOUR
AU - Mijoule, R.
TI - L'universalité des semi-fonctions récursives universelles
JO - Diagrammes
PY - 1984
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 12
SP - M1
EP - M12
LA - fre
KW - S-computable; S-semi-computable; recursive structure; higher-order recursion; indexed categories
UR - http://eudml.org/doc/91745
ER -
References
top- 1) J.P. AZRA et B. JAULIN, Récursivité, Collection Programmation, Gauthier-Villars ( 1973) Zbl0276.02019MR369039
- 2) S. KLEENE, Recursive functionals and quantifiers of finite types, I, Trans. Amer. Math. Soc. 91 ( 1959), 1-52. Zbl0088.01301MR102480
- 3) J. FENSTAD, Genaral recursion theory, Perspectives in mathematical logic, Springer-Verlag ( 1980). Zbl0439.03030MR584262
- 4) H. FRIEDMAN, Axiomatic recursive function theory, Logic colloquium 69, North-Holland ( 1971) 113-137. Zbl0221.02019MR276082
- 5) A. KECHRIS and Y. MOSCHOVAKIS, Recursion in higher types, Handbook of mathematical logic, North-Holland, ( 1977) 681-737. MR457132
- 6) R. PARE et D. SCHUMACHER, Abstract families and the adjoint functor theorems, Lectures notes in mathematics, 661, ( 1978) 1-125. Zbl0389.18002MR514193
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.