dblp.uni-trier.dewww.uni-trier.de

Laurent Regnier

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
18EEThomas Ehrhard, Laurent Regnier: Uniformity and the Taylor expansion of ordinary lambda-terms. Theor. Comput. Sci. 403(2-3): 347-372 (2008)
2006
17EEThomas Ehrhard, Laurent Regnier: Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. CiE 2006: 186-197
16EEThomas Ehrhard, Laurent Regnier: Differential interaction nets. Theor. Comput. Sci. 364(2): 166-195 (2006)
2005
15EEThomas Ehrhard, Laurent Regnier: Differential Interaction Nets. Electr. Notes Theor. Comput. Sci. 123: 35-74 (2005)
2003
14EEOlivier Laurent, Laurent Regnier: About Translations of Classical Logic into Polarized Linear Logic. LICS 2003: 11-20
13EEThomas Ehrhard, Laurent Regnier: The differential lambda-calculus. Theor. Comput. Sci. 309(1-3): 1-41 (2003)
2002
12EELaurent Regnier, Pawel Urzyczyn: Retractions of Types with Many Atoms CoRR cs.LO/0212005: (2002)
1999
11EEVincent 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
8EEPatrick 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
5EEVincent 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

Coauthor Index

1Andrea Asperti [4]
2Patrick Baillot [8] [9]
3Vincent Danos [2] [4] [5] [6] [7] [8] [9] [11]
4Thomas Ehrhard [8] [9] [10] [13] [15] [16] [17] [18]
5Hugo Herbelin [6]
6Yves Lafont [10]
7Cosimo Laneve [4]
8Olivier Laurent [14]
9Pasquale Malacaria [1]
10Marco Pedicini [7]
11Pawel Urzyczyn [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)