Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Olivier LAURENT


Articles acceptés ]

Année
Publications
Files &
Ref.IML
2001 Laurent Olivier.
A Token Machine for Full Geometry of Interaction (extended abstract).
Samson Abramsky, editor, Typed Lambda Calculi and Applications '01, volume 2044 of Lecture Notes in Computer Science, pages 283-297. Springer-Verlag, May 2001
1999 Laurent Olivier.
Polarized Proof-Nets: Proof-Nets for LC (extended abstract).
Jean-Yves Girard, editor, Typed Lambda Calculi and Applications '99, volume 1581 of LNCS, pages 213-227. Springer-Verlag. April 1999.
[Lau99]



Articles acceptés

2001
Laurent Olivier.
Polarized proof-nets and lambda-mu calculus.
A paraître dans Theoretical Computer Science, 2001
  Laurent Olivier, Quatrini Myriam and Tortora de Falco Lorenzo.
Polarized and Focalized Linear and Classical Proofs. (september 2000).
A paraître dans Annals of Pure and Applied Logic, 2001.
  




Last update : may 14, 2001, EL.