Équivalence naturelle et formules logiques en théorie des catégories.
Generalization of the concept of variety and quasivariety to partial algebras through category theory [Book]
Geometric and higher order logic in terms of abstract Stone duality.
In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?
Internal presheaves toposes
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Iterative algebras: how iterative are they?
Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen.
La théorie des fonctions indexées en récursivité
Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory.
Least and largest initial completions. I.
Least and largest initial completions. II.
Logische Kategorien.
L'universalité des semi-fonctions récursives universelles
Normalgruppoide einer Kategorie
Normalisation of the theory of Cartesian closed categories and conservativity of extensions of
Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T
Using an inductive definition of normal terms of the theory of Cartesian Closed Categories with a given graph of distinguished morphisms, we give a reduction free proof of the decidability of this theory. This inductive definition enables us to show via functional completeness that extensions of such a theory by new constants (“indeterminates”) are conservative.
On Classes And Universes
Primitive recursive categories and machines
Qu'est-ce que la logique dans une catégorie ?