The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laurent Regnier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
    Timeless Games. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:56-77 [Conf]
  3. Vincent Danos, Marco Pedicini, Laurent Regnier
    Directed Virtual Reductions. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:76-88 [Conf]
  4. 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]
  5. Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier
    Paths in the lambda-calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:426-436 [Conf]
  6. Vincent Danos, Hugo Herbelin, Laurent Regnier
    Game Semantics & Abstract Machines. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:394-405 [Conf]
  7. 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]
  8. Olivier Laurent, Laurent Regnier
    About Translations of Classical Logic into Polarized Linear Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:11-20 [Conf]
  9. 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]
  10. Laurent Regnier, Pawel Urzyczyn
    Retractions of Types with Many Atoms [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Thomas Ehrhard, Laurent Regnier
    Differential interaction nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:364, n:2, pp:166-195 [Journal]
  17. 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.130secs, Finished in 0.131secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002