| |
| 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 | Dale Miller | [2] [3] [4] |