@PhdThesis{HERPhD05,
author = {Olivier Hermant},
title = {M\'{e}thodes S\'{e}mantiques en D\'{e}duction Modulo},
school = {Universit\'{e} Paris 7 - Denis Diderot},
year = {2005}
}
@inProceedings{HER05,
author = {Olivier Hermant},
title = {Semantic cut elimination in the Intuitionistic Sequent Calculus},
year = {2005},
booktitle = {Typed Lambda-Calculi and Applications},
address = {Nara, Japan},
editor = {Pawel Urzyczyn},
series = {Lecture Notes in Computer Science}
volume = {3461},
publisher = {Springer-Verlag},
pages = {221--233}
}
@Article{HER03,
author = {Olivier Hermant},
title = {A Model-based Cut Elimination Proof},
year = {2003},
journal = {2nd St-Petersburg Days of Logic and Computability},
address = {Saint-Petersburg, Russia}
}
@inProceedings{BH06,
author = {Richard Bonichon and Olivier Hermant},
title = {A semantic completeness proof for TaMeD},
year = {2006},
booktitle = {LPAR},
address = {Phnom Penh, Cambodia},
series = {LNCS},
volume = {4246},
publisher={Springer-Verlag},
pages={167--181}
}