|
 |
Last update : may 22, 2001, EL.
|
Institut
de Mathématiques de Luminy
| BIBLIOGRAPHIE - Patrick BAILLOT |
|
Année
|
Publications
|
Files
& Ref.IML |
| 1999 | Baillot
Patrick and Pedicini Marco. Elementary complexity and geometry of interaction (extended abstract). Typed lambda calculi and applications (L'Aquila, 1999), 25--39, Lecture Notes in Comput. Sci., 1581, Springer, Berlin, 1999 |
| 1998 | Baillot
Patrick, Danos Vincent, Ehrhard Thomas and Régnier
Laurent Timeless games, Computer science logic (Aarhus, 1997), 56--77, Lecture Notes in Comput. Sci., 1414, Springer, Berlin, 1998 |
[BDER97b] |
| 1997 | Baillot
Patrick, Danos Vincent, Ehrhard Thomas and Régnier
Laurent Believe it or not, AJM's games model is a model of classical linear logic, Proceedings of the twelfth Symposium on Logic in Computer Science, Varsovie, 1997 |
[BDER97a] |
|
|
|
Last update : may 22, 2001, EL.
|