 | 2005 |
|---|
| 23 |       | Tomasz Blanc,
Jean-Jacques Lévy,
Luc Maranget:
Sharing in the Weak Lambda-Calculus.
Processes, Terms and Cycles 2005: 70-87 |
| 2004 |
|---|
| 22 |  | Jean-Jacques Lévy,
Ernst W. Mayr,
John C. Mitchell:
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 |
| 2001 |
|---|
| 21 | | Jean-Jacques Lévy:
Introduction - Bohm's theorem: applications to Computer Science Theory - BOTH 2001.
Electr. Notes Theor. Comput. Sci. 50(2): (2001) |
| 2000 |
|---|
| 20 | | Cédric Fournet,
Jean-Jacques Lévy,
Alan Schmitt:
An Asynchronous, Distributed Implementation of Mobile Ambients.
IFIP TCS 2000: 348-364 |
| 1999 |
|---|
| 19 | | Jean-Jacques Lévy,
Luc Maranget:
Explicit Substitutions and Programming Languages.
FSTTCS 1999: 181-200 |
| 1997 |
|---|
| 18 | | Jean-Jacques Lévy:
Some Results in the Joint-Calculus.
TACS 1997: 233-249 |
| 1996 |
|---|
| 17 | | Cédric Fournet,
Georges Gonthier,
Jean-Jacques Lévy,
Luc Maranget,
Didier Rémy:
A Calculus of Mobile Agents.
CONCUR 1996: 406-421 |
| 16 | | Martín Abadi,
Butler W. Lampson,
Jean-Jacques Lévy:
Analysis and Caching of Dependencies.
ICFP 1996: 83-91 |
| 15 | | 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) |
| 1995 |
|---|
| 14 | | Kanchana Kanchanasut,
Jean-Jacques Lévy:
Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Tailand, December 11-13, 1995, Proceedings
Springer 1995 |
| 1992 |
|---|
| 13 | | Georges Gonthier,
Martín Abadi,
Jean-Jacques Lévy:
Linear Logic Without Boxes
LICS 1992: 223-234 |
| 12 | | Georges Gonthier,
Jean-Jacques Lévy,
Paul-André Melliès:
An abstract standardisation theorem
LICS 1992: 72-81 |
| 11 | | Georges Gonthier,
Martín Abadi,
Jean-Jacques Lévy:
The Geometry of Optimal Lambda Reduction.
POPL 1992: 15-26 |
| 1991 |
|---|
| 10 | | 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 |
| 9 | | 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 |
| 8 | | Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien,
Jean-Jacques Lévy:
Explicit Substitutions.
J. Funct. Program. 1(4): 375-416 (1991) |
| 1990 |
|---|
| 7 | | Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien,
Jean-Jacques Lévy:
Explicit Substitutions.
POPL 1990: 31-46 |
| 1979 |
|---|
| 6 | | Gérard Berry,
Jean-Jacques Lévy:
A Survey of Some Syntactic Results in the lambda-Calculus.
MFCS 1979: 552-566 |
| 5 | | Gérard Berry,
Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs.
J. ACM 26(1): 148-175 (1979) |
| 1977 |
|---|
| 4 | | Gérard Berry,
Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs.
POPL 1977: 215-226 |
| 1976 |
|---|
| 3 | | 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) |
| 1975 |
|---|
| 2 | | 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 |
| 1973 |
|---|
| 1 | | J. M. Cadiou,
Jean-Jacques Lévy:
Mechanizable Proofs about Parallel Processes
FOCS 1973: 34-48 |
