Axiomatisation de la catégorie des catégories
G. Blanc, M. R. Donnadieu (1976)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II”
Axiomatisation de la catégorie des catégories
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:
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes
C. Oriat (1998)
Diagrammes
Similarity:
Théories de catégories
J. Penon (1979)
Diagrammes
Similarity:
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie III
C. Oriat (1999)
Diagrammes
Similarity:
Étude du typage dans le système de calcul scientifique Aldor
E. Touratier (1999)
Diagrammes
Similarity:
À la mémoire de Florence Cury (1952-95)
Christian Lair, Laurent Coppey (1995)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: