The structure of multiplicatives. - Vincent Danos; Laurent Regnier (Arch. Math. Log., 1989)

Some Results on the Interpretation of lambda-calculus in Operator Algebras - Pasquale Malacaria; Laurent Regnier (LICS, 1991)

Local and asynchronous beta-reduction (an analysis of Girard's execution formula) - Vincent Danos; Laurent Regnier (LICS, 1993)

Paths in the lambda-calculus - Andrea Asperti; Vincent Danos; Cosimo Laneve; Laurent Regnier (LICS, 1994)

Une équivalence sur les lambda-termes. - Laurent Regnier (Theor. Comput. Sci., 1994)

Directed Virtual Reductions. - Vincent Danos; Marco Pedicini; Laurent Regnier (CSL, 1996)

Game Semantics & Abstract Machines. - Vincent Danos; Hugo Herbelin; Laurent Regnier (LICS, 1996)

Timeless Games. - Patrick Baillot; Vincent Danos; Thomas Ehrhard; Laurent Regnier (CSL, 1997)

Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. - Patrick Baillot; Vincent Danos; Thomas Ehrhard; Laurent Regnier (LICS, 1997)

Foreword. - Thomas Ehrhard; Yves Lafont; Laurent Regnier (Math. Struct. Comput. Sci., 1998)

Reversible, Irreversible and Optimal lambda-Machines. - Vincent Danos; Laurent Regnier (Theor. Comput. Sci., 1999)

Retractions of Types with Many Atoms - Laurent Regnier; Pawel Urzyczyn (CoRR, 2002)

About Translations of Classical Logic into Polarized Linear Logic. - Olivier Laurent 001; Laurent Regnier (LICS, 2003)

The differential lambda-calculus. - Thomas Ehrhard; Laurent Regnier (Theor. Comput. Sci., 2003)

Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. - Thomas Ehrhard; Laurent Regnier (CiE, 2006)

Differential interaction nets. - Thomas Ehrhard; Laurent Regnier (Theor. Comput. Sci., 2006)

Uniformity and the Taylor expansion of ordinary lambda-terms. - Thomas Ehrhard; Laurent Regnier (Theor. Comput. Sci., 2008)