| 2007 |
|---|
| 5 | EE | Evelyne Contejean,
Pierre Courtieu,
Julien Forest,
Olivier Pons,
Xavier Urbain:
Certification of Automated Termination Proofs.
FroCos 2007: 148-162 |
| 2005 |
|---|
| 4 | | Brigitte Grau,
Anne-Laure Ligozat,
Isabelle Robba,
Anne Vilnat,
Faïza El Kateb,
Gabriel Illouz,
Laura Monceaux,
Patrick Paroubek,
Olivier Pons:
De l'importance des synonymes pour la sélection de passages en question-réponse.
CORIA 2005: 71-84 |
| 2003 |
|---|
| 3 | EE | Gilles Barthe,
Venanzio Capretta,
Olivier Pons:
Setoids in type theory.
J. Funct. Program. 13(2): 261-293 (2003) |
| 2001 |
|---|
| 2 | EE | Gilles Barthe,
Olivier Pons:
Type Isomorphisms and Proof Reuse in Dependent Type Theory.
FoSSaCS 2001: 57-71 |
| 2000 |
|---|
| 1 | EE | Olivier Pons:
Generalization in Type Theory Based Proof Assistants.
TYPES 2000: 217-232 |
