La tour holomorphe d'une esquisse
Pierre Ageron (1996)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Esquisses et types”
La tour holomorphe d'une esquisse
Esquisses inductives et presque inductives
Pierre Ageron (2001)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Leçons de théorie des esquisses
L. Coppey, C. Lair (1988)
Diagrammes
Similarity:
Limites et co-limites pour représenter les formules
R. Guitart, C. Lair (1982)
Diagrammes
Similarity:
À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells
C. Lair (1986)
Diagrammes
Similarity:
Catégories accessibles à limites projectives non vides et catégories accessibles à limites projectives finies
P. Ageron (1995)
Diagrammes
Similarity:
Diagrammes structurés de modèles
C. Lair (1987)
Diagrammes
Similarity: