Laurent Regnier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
3
Active years
1991–2006
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | CiE | Bhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. | Thomas Ehrhard, Laurent Regnier |
| 2003 | LICS | About Translations of Classical Logic into Polarized Linear Logic. | Olivier Laurent, Laurent Regnier |
| 1997 | CSL | Timeless Games. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
| 1997 | LICS | Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
| 1996 | CSL | Directed Virtual Reductions. | Vincent Danos, Marco Pedicini, Laurent Regnier |
| 1996 | LICS | Game Semantics & Abstract Machines. | Vincent Danos, Hugo Herbelin, Laurent Regnier |
| 1994 | LICS | Paths in the lambda-calculus | Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier |
| 1993 | LICS | Local and asynchronous beta-reduction (an analysis of Girard's execution formula) | Vincent Danos, Laurent Regnier |
| 1991 | LICS | Some Results on the Interpretation of lambda-calculus in Operator Algebras | Pasquale Malacaria, Laurent Regnier |