The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Jacques Lévy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget
    Sharing in the Weak Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:70-87 [Conf]
  2. Gérard P. Huet, Jean-Jacques Lévy
    Computations in Orthogonal Rewriting Systems, I. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:395-414 [Conf]
  3. Gérard P. Huet, Jean-Jacques Lévy
    Computations in Orthogonal Rewriting Systems, II. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:415-443 [Conf]
  4. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
    A Calculus of Mobile Agents. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:406-421 [Conf]
  5. J. M. Cadiou, Jean-Jacques Lévy
    Mechanizable Proofs about Parallel Processes [Citation Graph (0, 0)][DBLP]
    FOCS, 1973, pp:34-48 [Conf]
  6. Jean-Jacques Lévy, Luc Maranget
    Explicit Substitutions and Programming Languages. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:181-200 [Conf]
  7. Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy
    Analysis and Caching of Dependencies. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:83-91 [Conf]
  8. Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt
    An Asynchronous, Distributed Implementation of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:348-364 [Conf]
  9. Jean-Jacques Lévy
    An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus. [Citation Graph (0, 0)][DBLP]
    Lambda-Calculus and Computer Science Theory, 1975, pp:147-165 [Conf]
  10. Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
    Linear Logic Without Boxes [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:223-234 [Conf]
  11. Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès
    An abstract standardisation theorem [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:72-81 [Conf]
  12. Gérard Berry, Jean-Jacques Lévy
    A Survey of Some Syntactic Results in the lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1979, pp:552-566 [Conf]
  13. Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
    Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:31-46 [Conf]
  14. G. Berry, J. J. Levy
    Minimal and Optimal Computations of Recursive Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1977, pp:215-226 [Conf]
  15. Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
    The Geometry of Optimal Lambda Reduction. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:15-26 [Conf]
  16. Jean-Jacques Lévy
    Some Results in the Joint-Calculus. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:233-249 [Conf]
  17. Jean-Jacques Lévy
    Introduction - Bohm's theorem: applications to Computer Science Theory - BOTH 2001. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
  18. Gérard Berry, Jean-Jacques Lévy
    Minimal and Optimal Computations of Recursive Programs. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1979, v:26, n:1, pp:148-175 [Journal]
  19. Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy
    Confluence Properties of Weak and Strong Calculi of Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1996, v:43, n:2, pp:362-397 [Journal]
  20. Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
    Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:4, pp:375-416 [Journal]
  21. Jean-Jacques Lévy
    An Algebraic Interpretation of the lambda beta K-Calculus; and an Application of a Labelled lambda -Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1976, v:2, n:1, pp:97-114 [Journal]

Search in 0.004secs, Finished in 0.005secs
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