olivier pons

Conservatoire National des Arts et Métiers CNAM - Paris / France

Others

AD Scientific Index ID: 1660058

Registration, Add Profile,
Premium Membership

Print Your Certificate

olivier pons's MOST POPULAR ARTICLES

1-) Setoids in type theoryG Barthe, V Capretta, O PonsJournal of Functional Programming 13 (2), 261-293, 20031172003

2-) Certification of automated termination proofsE Contejean, P Courtieu, J Forest, O Pons, X UrbainInternational Symposium on Frontiers of Combining Systems, 148-162, 2007722007

3-) Automated certified proofs with CiME3E Contejean, P Courtieu, J Forest, O Pons, X Urbain22nd International Conference on Rewriting Techniques and Applications (RTA\\\\\\\'11), 2011532011

4-) Type isomorphisms and proof reuse in dependent type theoryG Barthe, O PonsInternational Conference on Foundations of Software Science and Computation …, 2001532001

5-) A3PAT, an approach for certified automated termination proofsÉ Contejean, A Paskevich, X Urbain, P Courtieu, O Pons, J ForestProceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010492010

ARTICLES

Add your articles