|
Search the dblp DataBase
Laurent Regnier:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thomas Ehrhard, Laurent Regnier
Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. [Citation Graph (0, 0)][DBLP] CiE, 2006, pp:186-197 [Conf]
- Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
Timeless Games. [Citation Graph (0, 0)][DBLP] CSL, 1997, pp:56-77 [Conf]
- Vincent Danos, Marco Pedicini, Laurent Regnier
Directed Virtual Reductions. [Citation Graph (0, 0)][DBLP] CSL, 1996, pp:76-88 [Conf]
- Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. [Citation Graph (0, 0)][DBLP] LICS, 1997, pp:68-75 [Conf]
- Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier
Paths in the lambda-calculus [Citation Graph (0, 0)][DBLP] LICS, 1994, pp:426-436 [Conf]
- Vincent Danos, Hugo Herbelin, Laurent Regnier
Game Semantics & Abstract Machines. [Citation Graph (0, 0)][DBLP] LICS, 1996, pp:394-405 [Conf]
- Vincent Danos, Laurent Regnier
Local and asynchronous beta-reduction (an analysis of Girard's execution formula) [Citation Graph (0, 0)][DBLP] LICS, 1993, pp:296-306 [Conf]
- Olivier Laurent, Laurent Regnier
About Translations of Classical Logic into Polarized Linear Logic. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:11-20 [Conf]
- Pasquale Malacaria, Laurent Regnier
Some Results on the Interpretation of lambda-calculus in Operator Algebras [Citation Graph (0, 0)][DBLP] LICS, 1991, pp:63-72 [Conf]
- Laurent Regnier, Pawel Urzyczyn
Retractions of Types with Many Atoms [Citation Graph (0, 0)][DBLP] CoRR, 2002, v:0, n:, pp:- [Journal]
- Vincent Danos, Laurent Regnier
Reversible, Irreversible and Optimal Lambda-machines. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
- Thomas Ehrhard, Laurent Regnier
Differential Interaction Nets. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:123, n:, pp:35-74 [Journal]
- Thomas Ehrhard, Yves Lafont, Laurent Regnier
Foreword. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:541- [Journal]
- Vincent Danos, Laurent Regnier
Reversible, Irreversible and Optimal lambda-Machines. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:227, n:1-2, pp:79-97 [Journal]
- Thomas Ehrhard, Laurent Regnier
The differential lambda-calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:309, n:1-3, pp:1-41 [Journal]
- Thomas Ehrhard, Laurent Regnier
Differential interaction nets. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:364, n:2, pp:166-195 [Journal]
- Laurent Regnier
Une équivalence sur les lambda-termes. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:126, n:2, pp:281-292 [Journal]
Search in 0.002secs, Finished in 0.002secs
|