Search the dblp DataBase

Publications of Author

1. Richard Bonichon, Olivier Hermant
   A Semantic Completeness Proof for TaMeD. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:167-181 [Conf]
   
2. Olivier Hermant
   Semantic Cut Elimination in the Intuitionistic Sequent Calculus. [Citation Graph (0, 0)][DBLP]
   TLCA, 2005, pp:221-233 [Conf]
   
3. Gilles Dowek, Olivier Hermant
   A Simple Proof That Super-Consistency Implies Cut Elimination. [Citation Graph (0, 0)][DBLP]
   RTA, 2007, pp:93-106 [Conf]
   
4. Richard Bonichon, Olivier Hermant
   On Constructive Cut Admissibility in Deduction Modulo. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:33-47 [Conf]
   
5. 
   A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. [Citation Graph (, )][DBLP]