| 2007 | ||
|---|---|---|
| 4 | EE | Gilles Dowek, Olivier Hermant: A Simple Proof That Super-Consistency Implies Cut Elimination. RTA 2007: 93-106 |
| 2006 | ||
| 3 | EE | Richard Bonichon, Olivier Hermant: A Semantic Completeness Proof for TaMeD. LPAR 2006: 167-181 |
| 2 | EE | Richard Bonichon, Olivier Hermant: On Constructive Cut Admissibility in Deduction Modulo. TYPES 2006: 33-47 |
| 2005 | ||
| 1 | EE | Olivier Hermant: Semantic Cut Elimination in the Intuitionistic Sequent Calculus. TLCA 2005: 221-233 |
| 1 | Richard Bonichon | [2] [3] |
| 2 | Gilles Dowek | [4] |