-
On the Algebra of Structural Contexts
Article dans revue scientifique avec comité de lecture. -
Theorem Proving Modulo
Article dans revue scientifique avec comité de lecture. internationale. -
Naming Proofs in Classical Propositional Logic
Rapport interne.
