Access content directly

olivier pons

18
Documents
Researcher identifiers

Presentation

Publications

Image document

Danse-doigts, a Fine Motor Game

Jean-Ferdy Susini , Olivier Pons , Nolwenn Guedin , Catherine Thevenot
Modelling, measurement and control C, 2016
Journal articles hal-02320660v1

Setoids in type theory

Gilles Barthe , Venanzio Capretta , Olivier Pons
Journal of Functional and Logic Programming, 2003, 13, pp.261-293
Journal articles hal-01124972v1
Image document

Danse-doigts, jeu de motricité fine

Jean-Ferdy Susini , Olivier Pons , Nolwenn Guedin , Catherine Thevenot
Handicap 2016. La recherche au service de la qualité de vie et de l’autonomie, Jun 2016, paris, France
Conference papers hal-02321088v1

Automated Certified Proofs with CiME3

Evelyne Contejean , Pierre Courtieu , Julien Forest , Olivier Pons , Xavier Urbain et al.
RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia
Conference papers hal-00777669v1

Improved Matrix Interpretation

Pierre Courtieu , Gladys Gbedo , Olivier Pons
SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science,, Jan 2010, Spindleruv Ml{\'y}n, Czech Republic. pp.12
Conference papers hal-01125706v1
Image document

A3PAT, an Approach for Certified Automated Termination Proofs

Evelyne Contejean , Pierre Courtieu , Julien Forest , Andrei Paskevich , Olivier Pons et al.
2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ACM, Jan 2010, Madrid, Spain. pp.63-72, ⟨10.1145/1706356.1706370⟩
Conference papers inria-00535655v1

Matrix interpretations revisited

Pierre Courtieu , Gladys Gbedo , Olivier Pons
Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, Jan 2009, X, France. pp.4
Conference papers hal-01125629v1

Certification of automated termination proofs

Evelyne Contejean , Pierre Courtieu , Julien Forest , Olivier Pons , Xavier Urbain et al.
6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162
Conference papers hal-01125312v1
Image document

De l'importance des synonymes pour la sélection de passages en question-réponse

Brigitte Grau , Anne-Laure Ligozat , Isabelle Robba , Anne Vilnat , Faïza Elkateb-Gara et al.
2ème COnférence en Recherche d'Informations et Applications (CORIA), 2005, Grenoble, France. pp.N/P
Conference papers hal-00456756v1
Image document

FRASQUES, le système du groupe LIR

Brigitte Grau , Gabriel Illouz , Laura Monceaux , Patrick Paroubek , Olivier Pons et al.
Atelier EQueR, TALN 05, 2005, Dourdan, France. pp.N/P
Conference papers hal-00456754v1
Image document

De l'importance des synonymes pour la sélection de passages en question-réponse

Brigitte Grau , Anne-Laure Ligozat , Isabelle Robba , Anne Vilnat , Faïza El Kateb et al.
CORIA'05 Conférence en Recherche d'Informations et Applications, Mar 2005, Grenoble, France. pp.71-84, ⟨10.24348/coria.2005.7⟩
Conference papers hal-01125013v1

L'atelier Focal

Catherine Dubois , Mathieu Jaume , Olivier Pons , Virgile Prévosto
AFADL, session outils, Jan 2004, X, France
Conference papers hal-01125052v1

Generalization in Type Theory Based Proof Assistants

Olivier Pons
TYPE 00, Jan 2002, X, France. pp.217-232
Conference papers hal-01125131v1