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 |