corrigé par Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988 ). Corrigenda
@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://www.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://www.numdam.org/item/DIA_1989__21__A4_0/ LA - fr ID - DIA_1989__21__A4_0 ER -
Mijoule, Richard. Une généralisation des ensembles énumérés. Diagrammes, Tome 21 (1989), Exposé no. 4, 13 p. http://www.numdam.org/item/DIA_1989__21__A4_0/
(1) La théorie des fonctions indexées en récursivité, Archivum Mathematicum, Vol. 23, n°4, 1987. | MR | Zbl
:(2) La théorie des énumérations, Actes du Congrès International des Mathématiciens, Vol. 1, pp. 223-227, 1970. | MR | Zbl
:(3) Abstracts families and the adjoint functor theorem, Lectures Notes in Mathematics 661, pp. 1-125, Springer, 1978. | MR | Zbl
et :(4) Axiomatic recursive function theorie, Logic Colloquium 69, pp. 113-137, North-Holland, 1971. | MR | Zbl
:(5) General recursion theory, Perspectives in Mathematical Logic, Springer-Verlag, 1980. | MR | Zbl
:(6) Indexed categories and generated topologies, Journal of Pure and Applied Algebra 19 , pp. 385-400, 1980. | MR | Zbl
:(7) L'universalité des semi-fonctions récursives universelles, Diagrammes 12 , Paris, 1984. | Numdam | MR | Zbl
: