La théorie des fonctions indexées en récursivité
Richard Mijoule (1987)
Archivum Mathematicum
Similarity:
Displaying similar documents to “Une généralisation des ensembles énumérés”
La théorie des fonctions indexées en récursivité
L'universalité des semi-fonctions récursives universelles
R. Mijoule (1984)
Diagrammes
Similarity:
Sesqui-monades et monades locales
C. Lair (1983)
Diagrammes
Similarity:
Dérivations d'ordre supérieur dans les catégories semi-additives
Pierre Leroux, Paulo Ribenboim (1969)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Problèmes universels, foncteurs représentables et foncteurs adjoints
Paul Jaffard (1965-1966)
Séminaire Dubreil. Algèbre et théorie des nombres
Similarity:
Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Albert Burroni (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Un moyen d’extension aux catégories internes dans des propriétés de la catégorie
François Conduche (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: