La suffisante complétude connexe. Correctif à apporter à la section B. §5.5
La suffisante complétude connexe. Section B : théorie générale
Complétion et complétude selon H. Andreka et I. Nemeti
La suffisante complétude connexe. Section C : exemples
Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales
La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres
Systèmes de générateurs et relations pour les catégories enrichies
Page 1