Une généralisation des ensembles énumérés
Diagrammes (1989)
- Volume: 21, page M1-M13
- ISSN: 0224-3911
Access Full Article
topHow to cite
topMijoule, Richard. "Une généralisation des ensembles énumérés." Diagrammes 21 (1989): M1-M13. <http://eudml.org/doc/193024>.
@article{Mijoule1989,
author = {Mijoule, Richard},
journal = {Diagrammes},
keywords = {enumerated set; numeration; recursive function; categorical approach},
language = {fre},
pages = {M1-M13},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Une généralisation des ensembles énumérés},
url = {http://eudml.org/doc/193024},
volume = {21},
year = {1989},
}
TY - JOUR
AU - Mijoule, Richard
TI - Une généralisation des ensembles énumérés
JO - Diagrammes
PY - 1989
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 21
SP - M1
EP - M13
LA - fre
KW - enumerated set; numeration; recursive function; categorical approach
UR - http://eudml.org/doc/193024
ER -
References
top- (1) R. Mijoule: La théorie des fonctions indexées en récursivité, Archivum Mathematicum, Vol. 23, n°4, 1987. Zbl0639.03050MR930780
- (2) Yu. L. Ersov: La théorie des énumérations, Actes du Congrès International des Mathématiciens, Vol. 1, pp. 223-227, 1970. Zbl0388.03019MR457173
- (3) R. Paré et D. Schumacher: Abstracts families and the adjoint functor theorem, Lectures Notes in Mathematics 661, pp. 1-125, Springer, 1978. Zbl0389.18002MR514193
- (4) H. Friedman: Axiomatic recursive function theorie, Logic Colloquium 69, pp. 113-137, North-Holland, 1971. Zbl0221.02019MR276082
- (5) J. Fenstad: General recursion theory, Perspectives in Mathematical Logic, Springer-Verlag, 1980. Zbl0439.03030MR584262
- (6) R. Paré: Indexed categories and generated topologies, Journal of Pure and Applied Algebra 19 , pp. 385-400, 1980. Zbl0444.18003MR593260
- (7) R. Mijoule: L'universalité des semi-fonctions récursives universelles, Diagrammes 12 , Paris, 1984. Zbl0564.18002MR800499
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.