Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   CORIA, 2005, pp:71-84 [Conf]
   
2. Gilles Barthe, Olivier Pons
   Type Isomorphisms and Proof Reuse in Dependent Type Theory. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2001, pp:57-71 [Conf]
   
3. Olivier Pons
   Generalization in Type Theory Based Proof Assistants. [Citation Graph (0, 0)][DBLP]
   TYPES, 2000, pp:217-232 [Conf]
   
4. Gilles Barthe, Venanzio Capretta, Olivier Pons
   Setoids in type theory. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:2, pp:261-293 [Journal]
   
5. Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
   Certification of Automated Termination Proofs. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:148-162 [Conf]
   
6. 
   A3PAT, an approach for certified automated termination proofs. [Citation Graph (, )][DBLP]
   
   
7. 
   Improved Matrix Interpretation. [Citation Graph (, )][DBLP]