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},
year = {1989},
publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
volume = {21},
mrnumber = {1021089},
zbl = {0677.03032},
language = {fr},
url = {https://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 - https://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.. https://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. | Zbl | MR
(2) : La théorie des énumérations, Actes du Congrès International des Mathématiciens, Vol. 1, pp. 223-227, 1970. | Zbl | MR
(3) et : Abstracts families and the adjoint functor theorem, Lectures Notes in Mathematics 661, pp. 1-125, Springer, 1978. | Zbl | MR
(4) : Axiomatic recursive function theorie, Logic Colloquium 69, pp. 113-137, North-Holland, 1971. | Zbl | MR
(5) : General recursion theory, Perspectives in Mathematical Logic, Springer-Verlag, 1980. | Zbl | MR
(6) : Indexed categories and generated topologies, Journal of Pure and Applied Algebra 19 , pp. 385-400, 1980. | Zbl | MR
(7) : L'universalité des semi-fonctions récursives universelles, Diagrammes 12 , Paris, 1984. | Zbl | MR | Numdam





