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.
  - pdf
  - bib
- - Extended report, April 2008.
  - pdf
  - bib
- - Presentation given at GaLoP III, April 2008.
  - pdf
- - Presentation given at LICS 2008, June 2008.
  - pdf
- 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.
  - pdf
  - bib