Travelled to:1 × Italy
1 × Serbia
1 × Spain
Collaborated with:G.Barthe E.Contejean P.Courtieu J.Forest X.Urbain A.Paskevich
Talks about:proof (3) certifi (2) autom (2) type (2) isomorph (1) approach (1) theori (1) termin (1) depend (1) reus (1)
Person: Olivier Pons
DBLP: Pons:Olivier
Contributed to:
2011
2010
2001Wrote 3 papers:
- RTA-2011-ContejeanCFPU #automation #proving
- Automated Certified Proofs with CiME3 (EC, PC, JF, OP, XU), pp. 21–30.
- PEPM-2010-ContejeanPUCPF #approach #automation #proving #termination
- A3PAT, an approach for certified automated termination proofs (EC, AP, XU, PC, OP, JF), pp. 63–72.
- FoSSaCS-2001-BartheP #dependent type #morphism #proving #reuse #type system
- Type Isomorphisms and Proof Reuse in Dependent Type Theory (GB, OP), pp. 57–71.