| 2008 |
|---|
| 18 | EE | Thomas Ehrhard,
Laurent Regnier:
Uniformity and the Taylor expansion of ordinary lambda-terms.
Theor. Comput. Sci. 403(2-3): 347-372 (2008) |
| 2006 |
|---|
| 17 | EE | Thomas Ehrhard,
Laurent Regnier:
Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.
CiE 2006: 186-197 |
| 16 | EE | Thomas Ehrhard,
Laurent Regnier:
Differential interaction nets.
Theor. Comput. Sci. 364(2): 166-195 (2006) |
| 2005 |
|---|
| 15 | EE | Thomas Ehrhard,
Laurent Regnier:
Differential Interaction Nets.
Electr. Notes Theor. Comput. Sci. 123: 35-74 (2005) |
| 2003 |
|---|
| 14 | EE | Olivier Laurent,
Laurent Regnier:
About Translations of Classical Logic into Polarized Linear Logic.
LICS 2003: 11-20 |
| 13 | EE | Thomas Ehrhard,
Laurent Regnier:
The differential lambda-calculus.
Theor. Comput. Sci. 309(1-3): 1-41 (2003) |
| 2002 |
|---|
| 12 | EE | Laurent Regnier,
Pawel Urzyczyn:
Retractions of Types with Many Atoms
CoRR cs.LO/0212005: (2002) |
| 1999 |
|---|
| 11 | EE | Vincent Danos,
Laurent Regnier:
Reversible, Irreversible and Optimal lambda-Machines.
Theor. Comput. Sci. 227(1-2): 79-97 (1999) |
| 1998 |
|---|
| 10 | | Thomas Ehrhard,
Yves Lafont,
Laurent Regnier:
Foreword.
Mathematical Structures in Computer Science 8(6): 541 (1998) |
| 1997 |
|---|
| 9 | | Patrick Baillot,
Vincent Danos,
Thomas Ehrhard,
Laurent Regnier:
Timeless Games.
CSL 1997: 56-77 |
| 8 | EE | Patrick Baillot,
Vincent Danos,
Thomas Ehrhard,
Laurent Regnier:
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.
LICS 1997: 68-75 |
| 1996 |
|---|
| 7 | | Vincent Danos,
Marco Pedicini,
Laurent Regnier:
Directed Virtual Reductions.
CSL 1996: 76-88 |
| 6 | | Vincent Danos,
Hugo Herbelin,
Laurent Regnier:
Game Semantics & Abstract Machines.
LICS 1996: 394-405 |
| 5 | EE | Vincent Danos,
Laurent Regnier:
Reversible, Irreversible and Optimal Lambda-machines.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1994 |
|---|
| 4 | | Andrea Asperti,
Vincent Danos,
Cosimo Laneve,
Laurent Regnier:
Paths in the lambda-calculus
LICS 1994: 426-436 |
| 3 | | Laurent Regnier:
Une équivalence sur les lambda-termes.
Theor. Comput. Sci. 126(2): 281-292 (1994) |
| 1993 |
|---|
| 2 | | Vincent Danos,
Laurent Regnier:
Local and asynchronous beta-reduction (an analysis of Girard's execution formula)
LICS 1993: 296-306 |
| 1991 |
|---|
| 1 | | Pasquale Malacaria,
Laurent Regnier:
Some Results on the Interpretation of lambda-calculus in Operator Algebras
LICS 1991: 63-72 |
