Travelled to:6 × USA
Collaborated with:M.Abadi G.Gonthier A.Asperti G.Berry B.W.Lampson P.Melliès L.Cardelli P.Curien
Talks about:optim (2) standardis (1) substitut (1) geometri (1) explicit (1) calculus (1) abstract (1) without (1) theorem (1) program (1)
Person: Jean-Jacques Lévy
DBLP: L=eacute=vy:Jean=Jacques
Contributed to:
2013
19961992
199219901977Wrote 7 papers:
- LICS-2013-AspertiL #cost analysis #λ-calculus
- The Cost of Usage in the λ-Calculus (AA, JJL), pp. 293–300.
- ICFP-1996-AbadiLL #analysis #dependence
- Analysis and Caching of Dependencies (MA, BWL, JJL), pp. 83–91.
- LICS-1992-GonthierAL #linear #logic
- Linear Logic Without Boxes (GG, MA, JJL), pp. 223–234.
- LICS-1992-GonthierLM #standard #theorem
- An abstract standardisation theorem (GG, JJL, PAM), pp. 72–81.
- POPL-1992-GonthierAL #geometry #reduction
- The Geometry of Optimal λ Reduction (GG, MA, JJL), pp. 15–26.
- POPL-1990-AbadiCCL
- Explicit Substitutions (MA, LC, PLC, JJL), pp. 31–46.
- POPL-1977-BerryL #recursion #source code
- Minimal and Optimal Computations of Recursive Programs (GB, JJL), pp. 215–226.