Tome 25 (1991)

Sommaire

Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales
p. 1-155