This page in English

• Accueil
• Publications
• Thèse
• Enseignement
• Divers

Publications

Voici la liste de mes publications. Leurs enregistrements BibTeX sont également disponibles.

1. • A neutral approach to proof and refutation in MALL
   • Avec Dale Miller
   • • In F. Pfenning, éditeur, 23th Symp. on Logic in Computer Science, pages 498–508. IEEE Computer Society Press, juin 2008.
     • pdf
     • bib
   • • Extended report, avril 2008.
     • pdf
     • bib
   • • Présentation donnée à GaLoP III, avril 2008.
     • pdf
   • • Présentation donnée à LICS 2008, juin 2008.
     • pdf
2. • Proof and refutation in MALL as a game
   • Avec Dale Miller et Alexis Saurin
   • • Annals of Pure and Applied Logic, 161(5):654–672, février 2010. The Third workshop on Games for Logic and Programming Languages (GaLoP), Galop 2008.
     • pdf
     • doi
     • bib