This page in English

Publications

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

    • 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.
      • Extended report, avril 2008.
    • 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.