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.