@article{DIA_1984__12__A2_0, author = {Mijoule, R.}, title = {L'universalit\'e des semi-fonctions r\'ecursives universelles}, journal = {Diagrammes}, note = {talk:2}, pages = {M1--M12}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {12}, year = {1984}, mrnumber = {800499}, zbl = {0564.18002}, language = {fr}, url = {http://archive.numdam.org/item/DIA_1984__12__A2_0/} }
TY - JOUR AU - Mijoule, R. TI - L'universalité des semi-fonctions récursives universelles JO - Diagrammes N1 - talk:2 PY - 1984 SP - M1 EP - M12 VL - 12 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_1984__12__A2_0/ LA - fr ID - DIA_1984__12__A2_0 ER -
%0 Journal Article %A Mijoule, R. %T L'universalité des semi-fonctions récursives universelles %J Diagrammes %Z talk:2 %D 1984 %P M1-M12 %V 12 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://archive.numdam.org/item/DIA_1984__12__A2_0/ %G fr %F DIA_1984__12__A2_0
Mijoule, R. L'universalité des semi-fonctions récursives universelles. Diagrammes, Tome 12 (1984), Exposé no. 2, 12 p. http://archive.numdam.org/item/DIA_1984__12__A2_0/
1) Récursivité, Collection Programmation, Gauthier-Villars ( 1973) | MR | Zbl
et ,2) Recursive functionals and quantifiers of finite types, I, Trans. Amer. Math. Soc. 91 ( 1959), 1-52. | MR | Zbl
,3) Genaral recursion theory, Perspectives in mathematical logic, Springer-Verlag ( 1980). | MR | Zbl
,4) Axiomatic recursive function theory, Logic colloquium 69, North-Holland ( 1971) 113-137. | MR | Zbl
,5) Recursion in higher types, Handbook of mathematical logic, North-Holland, ( 1977) 681-737. | MR
and ,6) Abstract families and the adjoint functor theorems, Lectures notes in mathematics, 661, ( 1978) 1-125. | MR | Zbl
et ,