Une généralisation des ensembles énumérés
Richard Mijoule (1989)
Diagrammes
Similarity:
Displaying similar documents to “L'universalité des semi-fonctions récursives universelles”
Une généralisation des ensembles énumérés
La théorie des fonctions indexées en récursivité
Richard Mijoule (1987)
Archivum Mathematicum
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:
Légitimité des catégories de préfaisceaux
François Foltz (1979)
Diagrammes
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: