Leçons de théorie des esquisses
L. Coppey, C. Lair (1988)
Diagrammes
Similarity:
Displaying similar documents to “Étude du typage dans le système de calcul scientifique Aldor”
Leçons de théorie des esquisses
Limites projectives conditionnelles dans les catégories accessibles
P. Ageron (1997)
Diagrammes
Similarity:
Catégories accessibles à produits fibrés
P. Ageron (1996)
Diagrammes
Similarity:
Sur le genre d'esquissabilité des catégories modelables (accessibles) possédant un objet terminal
C. Lair (1996)
Diagrammes
Similarity:
Sur le profil d'esquissabilité des catégories modelables (accessibles) possédant les noyaux
C. Lair (1997)
Diagrammes
Similarity:
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II
C. Oriat (1998)
Diagrammes
Similarity:
Sur le genre d'esquissabilité des catégories modelables (accessibles) possédant les produits de deux
C. Lair (1996)
Diagrammes
Similarity: