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 -