Laurent Regnier

According to our database, Laurent Regnier authored at least 17 papers between 1989 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Uniformity and the Taylor expansion of ordinary lambda-terms.

Thomas Ehrhard, Laurent Regnier

Theor. Comput. Sci., 2008

2006

Differential interaction nets.

Thomas Ehrhard, Laurent Regnier

Theor. Comput. Sci., 2006

Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.

Thomas Ehrhard, Laurent Regnier

Proceedings of the Logical Approaches to Computational Barriers, 2006

2003

The differential lambda-calculus.

Thomas Ehrhard, Laurent Regnier

Theor. Comput. Sci., 2003

About Translations of Classical Logic into Polarized Linear Logic.

Olivier Laurent, Laurent Regnier

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

Retractions of Types with Many Atoms

Laurent Regnier, Pawel Urzyczyn

CoRR, 2002

1999

Reversible, Irreversible and Optimal lambda-Machines.

Vincent Danos, Laurent Regnier

Theor. Comput. Sci., 1999

1998

Foreword.

Thomas Ehrhard, Yves Lafont, Laurent Regnier

Math. Struct. Comput. Sci., 1998

1997

Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.

Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Timeless Games.

Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

Game Semantics & Abstract Machines.

Vincent Danos, Hugo Herbelin, Laurent Regnier

Proceedings of the Proceedings, 1996

Directed Virtual Reductions.

Vincent Danos, Marco Pedicini, Laurent Regnier

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1994

Une équivalence sur les lambda-termes.

Laurent Regnier

Theor. Comput. Sci., 1994

Paths in the lambda-calculus

Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993

Local and asynchronous beta-reduction (an analysis of Girard's execution formula)

Vincent Danos, Laurent Regnier

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1991

Some Results on the Interpretation of lambda-calculus in Operator Algebras

Pasquale Malacaria, Laurent Regnier

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1989

The structure of multiplicatives.

Vincent Danos, Laurent Regnier

Arch. Math. Log., 1989