Une généralisation des ensembles énumérés
Diagrammes, Tome 21 (1989), Exposé no. 4, 13 p.
@article{DIA_1989__21__A4_0,
     author = {Mijoule, Richard},
     title = {Une g\'en\'eralisation des ensembles \'enum\'er\'es},
     journal = {Diagrammes},
     note = {talk:4},
     pages = {M1--M13},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {21},
     year = {1989},
     mrnumber = {1021089},
     zbl = {0677.03032},
     language = {fr},
     url = {http://archive.numdam.org/item/DIA_1989__21__A4_0/}
}
TY  - JOUR
AU  - Mijoule, Richard
TI  - Une généralisation des ensembles énumérés
JO  - Diagrammes
N1  - talk:4
PY  - 1989
SP  - M1
EP  - M13
VL  - 21
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://archive.numdam.org/item/DIA_1989__21__A4_0/
LA  - fr
ID  - DIA_1989__21__A4_0
ER  - 
%0 Journal Article
%A Mijoule, Richard
%T Une généralisation des ensembles énumérés
%J Diagrammes
%Z talk:4
%D 1989
%P M1-M13
%V 21
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://archive.numdam.org/item/DIA_1989__21__A4_0/
%G fr
%F DIA_1989__21__A4_0
Mijoule, Richard. Une généralisation des ensembles énumérés. Diagrammes, Tome 21 (1989), Exposé no. 4, 13 p. http://archive.numdam.org/item/DIA_1989__21__A4_0/

(1) R. Mijoule: La théorie des fonctions indexées en récursivité, Archivum Mathematicum, Vol. 23, n°4, 1987. | MR | Zbl

(2) Yu. L. Ersov: La théorie des énumérations, Actes du Congrès International des Mathématiciens, Vol. 1, pp. 223-227, 1970. | MR | Zbl

(3) R. Paré et D. Schumacher: Abstracts families and the adjoint functor theorem, Lectures Notes in Mathematics 661, pp. 1-125, Springer, 1978. | MR | Zbl

(4) H. Friedman: Axiomatic recursive function theorie, Logic Colloquium 69, pp. 113-137, North-Holland, 1971. | MR | Zbl

(5) J. Fenstad: General recursion theory, Perspectives in Mathematical Logic, Springer-Verlag, 1980. | MR | Zbl

(6) R. Paré: Indexed categories and generated topologies, Journal of Pure and Applied Algebra 19 , pp. 385-400, 1980. | MR | Zbl

(7) R. Mijoule: L'universalité des semi-fonctions récursives universelles, Diagrammes 12 , Paris, 1984. | Numdam | MR | Zbl