En Français

BibTeX entries

The BibTeX entries of my publications are listed here. The list of references is also available.

    • A neutral approach to proof and refutation in MALL
      1. @inproceedings{delande08lics,
      2. author = {Olivier Delande and Dale Miller},
      3. booktitle = {23th Symp. on Logic in Computer Science},
      4. editor = {F. Pfenning},
      5. month = {Jun},
      6. pages = {498--508},
      7. publisher = {IEEE Computer Society Press},
      8. title = {A neutral approach to proof and refutation in MALL},
      9. year = {2008},
      10. }
      1. @unpublished{delande08lics_ER,
      2. author = {Olivier Delande and Dale Miller},
      3. month = {Apr},
      4. note = {Extended report},
      5. title = {A neutral approach to proof and refutation in MALL: extended report},
      6. year = {2008},
      7. }
    • Proof and refutation in MALL as a game
      1. @article{delande10apal,
      2. author = {Olivier Delande and Dale Miller and Alexis Saurin},
      3. journal = {Annals of Pure and Applied Logic},
      4. month = {Feb},
      5. number = {5},
      6. note = {The Third workshop on Games for Logic and Programming Languages (GaLoP), Galop 2008},
      7. pages = {654--672},
      8. title = {Proof and refutation in MALL as a game},
      9. volume = {161},
      10. year = {2010},
      11. }