Laurent Regnier

20 papers A* 6B 3C 2Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2016 B ed.
25th EACSL Annual Conference on Computer Science Logic, CSL 2016, Marseille, France, August 29 - September 1, 2016
CSL
Jean-Marc Talbot, Laurent Regnier
2008 J jnl
Uniformity and the Taylor expansion of ordinary lambda-terms.
Theor. Comput. Sci.
Thomas Ehrhard, Laurent Regnier
2006 C conf
Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.
CiE
Thomas Ehrhard, Laurent Regnier
2006 J jnl
Differential interaction nets.
Theor. Comput. Sci.
Thomas Ehrhard, Laurent Regnier
2004 C conf
Differential Interaction Nets.
WoLLIC
Thomas Ehrhard, Laurent Regnier
2003 A* conf
About Translations of Classical Logic into Polarized Linear Logic.
LICS
Olivier Laurent, Laurent Regnier
2003 J jnl
The differential lambda-calculus.
Theor. Comput. Sci.
Thomas Ehrhard, Laurent Regnier
2002 J jnl
Retractions of Types with Many Atoms
CoRR
Laurent Regnier, Pawel Urzyczyn
1999 J jnl
Reversible, Irreversible and Optimal lambda-Machines.
Theor. Comput. Sci.
Vincent Danos, Laurent Regnier
1998 J jnl
Foreword.
Math. Struct. Comput. Sci.
Thomas Ehrhard, Yves Lafont, Laurent Regnier
1997 A* conf
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.
LICS
Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
1997 B conf
Timeless Games.
CSL
Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
1996 B conf
Directed Virtual Reductions.
CSL
Vincent Danos, Marco Pedicini, Laurent Regnier
1996 A* conf
Game Semantics & Abstract Machines.
LICS
Vincent Danos, Hugo Herbelin, Laurent Regnier
1996 — conf
Reversible, Irreversible and Optimal Lambda-machines.
Linear Logic Tokyo Meeting
Vincent Danos, Laurent Regnier
1994 A* conf
Paths in the lambda-calculus
LICS
Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier
1994 J jnl
Une équivalence sur les lambda-termes.
Theor. Comput. Sci.
Laurent Regnier
1993 A* conf
Local and asynchronous beta-reduction (an analysis of Girard's execution formula)
LICS
Vincent Danos, Laurent Regnier
1991 A* conf
Some Results on the Interpretation of lambda-calculus in Operator Algebras
LICS
Pasquale Malacaria, Laurent Regnier
1989 J jnl
The structure of multiplicatives.
Arch. Math. Log.
Vincent Danos, Laurent Regnier