Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II
C. Oriat (1998)
Diagrammes
Similarity:
Displaying similar documents to “Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales”
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II
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:
Théories de catégories
J. Penon (1979)
Diagrammes
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:
Catégories de Peano et catégories algorithmiques, récursivité
L. Coppey (1984)
Diagrammes
Similarity:
Étude du typage dans le système de calcul scientifique Aldor
E. Touratier (1999)
Diagrammes
Similarity:
La suffisante complétude connexe. Section C : exemples
F. Cury (1994)
Diagrammes
Similarity: