| 2008 |
|---|
| 5 | EE | Olivier Hermant,
James Lipton:
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.
CSL 2008: 169-183 |
| 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 |
