Éléments de théorie des esquisses. Section 3 : esquisses
Éléments de théorie des patchworks (I)
Esquisses inductives et presque inductives
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie III
Executable specifications for data-type constructors
Existence theorems for commutative diagrams.
Flache Darstellungen von geordneten Mengen.
Graph cycles and diagram commutativity
Graphes sans circuit et bilinéarité
Isomorphisms and splitting of idempotents in semicategories
La suffisante complétude connexe. Section C : exemples
La tour holomorphe d'une esquisse
Lax-co-limites structurées
Leçons de théorie des esquisses
Leçons de théorie des esquisses
-completeness is seldom monadic over graphs.
Models of sketches
On sifted colimits and generalized varieties.