 | 2008 |
|---|
| 7 |       | Alexis Saurin:
On the Relations between the Syntactic Theories of lambda-mu-Calculi.
CSL 2008: 154-168 |
| 6 | | Alexis Saurin:
Towards Ludics Programming: Interactive Proof Search.
ICLP 2008: 253-268 |
| 5 | | Kaustuv Chaudhuri,
Dale Miller,
Alexis Saurin:
Canonical Sequent Proofs via Multi-Focusing.
IFIP TCS 2008: 383-396 |
| 2007 |
|---|
| 4 | | Dale Miller,
Alexis Saurin:
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic.
CSL 2007: 405-419 |
| 2006 |
|---|
| 3 | | 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 | | Alexis Saurin:
Separation with Streams in the lambdaµ-calculus.
LICS 2005: 356-365 |
