En Français

Publications

The list of my publications is given here. Their BibTeX entries are also available.

    • A neutral approach to proof and refutation in MALL
    • With Dale Miller
      • In F. Pfenning, editor, 23th Symp. on Logic in Computer Science, pages 498–508. IEEE Computer Society Press, June 2008.
      • Extended report, April 2008.
    • Proof and refutation in MALL as a game
    • With Dale Miller and Alexis Saurin
      • Accepted to a special issue of Annals of pure and applied logic, May 2009.