On Galois -objects and invertible -modules
On the axiomatisation of Boolean categories with and without medial.
On the category of topological topologies
On the direct power of relational systems
On the exact completion of the homotopy category
On the geometry of intuitionistic S4 proofs.
One obstruction for closedness
Preface to the special volume: “Chu spaces: theory and applications".
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.
Pseudo-categories.
Pullback functors and crossed complexes
Relative injectivity as cocompleteness for a class of distributors.
Relevant Categories and Partial Functions
Some remarks on the subject of coherence
Star-autonomous functor categories.
Structures defined by finite limits in the enriched context, I
Sur la réfutabilité
Sur les objets profinis et progénérateurs dans les catégories fermées
Symmetric monoidal closed categories generated by commutative adjoint monads
Tensor product of partially-additive monoids.