Laurent Regnier

Publication Activity (10 Years)

Years Active: 1989-2008
Publications (10 Years): 0

Publications

Thomas Ehrhard, Laurent Regnier
Uniformity and the Taylor expansion of ordinary lambda-terms. Theor. Comput. Sci. 403 (2-3) (2008)
Thomas Ehrhard, Laurent Regnier
Differential interaction nets. Theor. Comput. Sci. 364 (2) (2006)
Thomas Ehrhard, Laurent Regnier
Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. CiE (2006)
Thomas Ehrhard, Laurent Regnier
Differential Interaction Nets. Electron. Notes Theor. Comput. Sci. 123 (2005)
Olivier Laurent, Laurent Regnier
About Translations of Classical Logic into Polarized Linear Logic. LICS (2003)
Thomas Ehrhard, Laurent Regnier
The differential lambda-calculus. Theor. Comput. Sci. 309 (1-3) (2003)
Laurent Regnier, Pawel Urzyczyn
Retractions of Types with Many Atoms CoRR (2002)
Vincent Danos, Laurent Regnier
Reversible, Irreversible and Optimal lambda-Machines. Theor. Comput. Sci. 227 (1-2) (1999)
Thomas Ehrhard, Yves Lafont, Laurent Regnier
Foreword. Math. Struct. Comput. Sci. 8 (6) (1998)
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)
Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
Timeless Games. CSL (1997)
Vincent Danos, Marco Pedicini, Laurent Regnier
Directed Virtual Reductions. CSL (1996)
Vincent Danos, Laurent Regnier
Reversible, Irreversible and Optimal Lambda-machines. Electron. Notes Theor. Comput. Sci. 3 (1996)
Vincent Danos, Hugo Herbelin, Laurent Regnier
Game Semantics & Abstract Machines. LICS (1996)
Laurent Regnier
Une équivalence sur les lambda-termes. Theor. Comput. Sci. 126 (2) (1994)
Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier
Paths in the lambda-calculus LICS (1994)
Vincent Danos, Laurent Regnier
Local and asynchronous beta-reduction (an analysis of Girard's execution formula) LICS (1993)
Pasquale Malacaria, Laurent Regnier
Some Results on the Interpretation of lambda-calculus in Operator Algebras LICS (1991)
Vincent Danos, Laurent Regnier
The structure of multiplicatives. Arch. Math. Log. 28 (3) (1989)