Jean-Jacques Lévy

Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget: Sharing in the Weak Lambda-Calculus. Processes, Terms and Cycles 2005: 70-87

Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell (Eds.): Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France. Kluwer 2004, isbn 1-4020-8140-5

Jean-Jacques Lévy: Introduction - Bohm's theorem: applications to Computer Science Theory - BOTH 2001. Electr. Notes Theor. Comput. Sci. 50(2): 196-197 (2001)

Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt: An Asynchronous, Distributed Implementation of Mobile Ambients. IFIP TCS 2000: 348-364

Jean-Jacques Lévy, Luc Maranget: Explicit Substitutions and Programming Languages. FSTTCS 1999: 181-200

Jean-Jacques Lévy: Some Results in the Joint-Calculus. TACS 1997: 233-249

Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy: Confluence Properties of Weak and Strong Calculi of Explicit Substitutions. J. ACM 43(2): 362-397 (1996)

Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy: A Calculus of Mobile Agents. CONCUR 1996: 406-421

Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy: Analysis and Caching of Dependencies. ICFP 1996: 83-91

Kanchana Kanchanasut, Jean-Jacques Lévy (Eds.): Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Tailand, December 11-13, 1995, Proceedings. Lecture Notes in Computer Science 1023, Springer 1995, isbn 3-540-60688-2

Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès: An abstract standardisation theorem. LICS 1992: 72-81

Georges Gonthier, Martín Abadi, Jean-Jacques Lévy: Linear Logic Without Boxes. LICS 1992: 223-234

Georges Gonthier, Martín Abadi, Jean-Jacques Lévy: The Geometry of Optimal Lambda Reduction. POPL 1992: 15-26

Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. J. Funct. Program. 1(4): 375-416 (1991)

Gérard P. Huet, Jean-Jacques Lévy: Computations in Orthogonal Rewriting Systems, I. Computational Logic - Essays in Honor of Alan Robinson 1991: 395-414

Gérard P. Huet, Jean-Jacques Lévy: Computations in Orthogonal Rewriting Systems, II. Computational Logic - Essays in Honor of Alan Robinson 1991: 415-443

Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. POPL 1990: 31-46

Gérard Berry, Jean-Jacques Lévy: Minimal and Optimal Computations of Recursive Programs. J. ACM 26(1): 148-175 (1979)

Gérard Berry, Jean-Jacques Lévy: A Survey of Some Syntactic Results in the lambda-Calculus. MFCS 1979: 552-566

Gérard Berry, Jean-Jacques Lévy: Minimal and Optimal Computations of Recursive Programs. POPL 1977: 215-226

Jean-Jacques Lévy: An Algebraic Interpretation of the lambda beta K-Calculus; and an Application of a Labelled lambda -Calculus. Theor. Comput. Sci. 2(1): 97-114 (1976)

Jean-Jacques Lévy: An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus. Lambda-Calculus and Computer Science Theory 1975: 147-165

J. M. Cadiou, Jean-Jacques Lévy: Mechanizable Proofs about Parallel Processes. SWAT (FOCS) 1973: 34-48