next up previous contents
Next: France Telecom - CNET Up: ENS Previous: Research Directions


[[BDER97]] P. Baillot, V. Danos, and T. E. andL. Regnier.
Believe it or not, AJM's games model is a model of classical linear logic.
In Proc. 12th LICS, pages 68-75. IEEE, 1997.

[[BDER97b]] P. Baillot, V. Danos, T. Ehrhard, and L. Regnier.
Timeless games.
In Proc. CSL '97, volume to appear. Springer Verlag, 1997.

[[CuBoeh]] P.-L. Curien.
Abstract böhm trees.
Mathematical Structures in Computer Science, 1998.
to appear.

[[CuHer96]] P.-L. Curien and H. Herbelin.
Computing with abstract böhm trees.
In Proc. of Third Fuji International Symposium on Functional and Logic Programming, World Scientific (Singapour), 1998.

[[DHR96]] V. Danos, H. Herbelin, and L. Regnier.
Game semantics and abstract machines.
In Proc. 11th LICS, pages 394-405. IEEE, 1996.