Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Set theory and category theory: Two rival siblings and their relations with the foundations of mathematics. (La théorie des ensembles et la théorie des catégories: Présentation de deux soeurs ennemies du point de vue de leurs relations avec les fondements des mathématiques.)
Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi
Some categories of models.
Some Fundamental Structures On Classes
Stable surjection logic
Sur la commutation des limites
Sur La Logique De Premier Ordre Et La Théorie Des Catégories.
Sur les quasi-topos
Syntactical theory of functors
The Heyting doctrines
The internal and external aspect of logic and set theory in elementary topoi
The maximality of the typed lambda calculus and of cartesian closed categories
Théorie des catégories et fondements
Théories de catégories
Topological properties of the real numbers object in a topos
Topological Structures On Classes I
Topological structures on classes I.
Topological Structures On Classes II
Topological structures on classes II.