Jean-Jacques Lévy

Statistics

Publications

Citations

1.6K

H-Index

Active since

1966

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Normale Supérieure - PSL

Microsoft Research (United Kingdom)

École Nationale Supérieure des Mines de Paris

Jean-Jacques Lévy is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, mathematics, and computing.

Publications per year

1966–2003

Publications

Explicit substitutions

M. Abadi, Luca Cardelli, Pierre-Louis Curien et al. · Journal of Functional Programming · 1991 · 366 citations · Full text

Computing, Computer Science, Mathematics +4

The geometry of optimal lambda reduction

Georges Gonthier, Martı́n Abadi, Jean-Jacques Lévy · 1992 · 233 citations

Computing, Computer Science, Mathematics +9

Explicit substitutions

M. Abadi, Pierre-Louis Curien, Jean-Jacques Lévy · 1990 · 213 citations · Full text

Computing, Computer Science, Mathematics +4

Confluence properties of weak and strong calculi of explicit substitutions

Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy · Journal of the ACM · 1996 · 150 citations · Full text

Natural Sciences, Computer Science, Mathematics +7

Computations in Orthogonal Rewriting Systems, II.

Gérard Huet, Jean-Jacques Lévy · 1991 · 140 citations

Computing, Computer Science, Mathematics +5

1–5 of 15