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.