| |
| 2008 | ||
|---|---|---|
| 7 | EE | Alexis Saurin: On the Relations between the Syntactic Theories of lambda-mu-Calculi. CSL 2008: 154-168 |
| 6 | EE | Alexis Saurin: Towards Ludics Programming: Interactive Proof Search. ICLP 2008: 253-268 |
| 5 | EE | Kaustuv Chaudhuri, Dale Miller, Alexis Saurin: Canonical Sequent Proofs via Multi-Focusing. IFIP TCS 2008: 383-396 |
| 2007 | ||
| 4 | EE | Dale Miller, Alexis Saurin: From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. CSL 2007: 405-419 |
| 2006 | ||
| 3 | EE | Dale Miller, Alexis Saurin: A Game Semantics for Proof Search: Preliminary Results. Electr. Notes Theor. Comput. Sci. 155: 543-563 (2006) |
| 2005 | ||
| 2 | Dale Miller, Alexis Saurin: A game semantics for proof search: preliminary results. GALOP 2005: 92-106 | |
| 1 | EE | Alexis Saurin: Separation with Streams in the lambdaµ-calculus. LICS 2005: 356-365 |
| 1 | Kaustuv Chaudhuri | [5] |
| 2 | Dale Miller | [2] [3] [4] [5] |