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 engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningMathematical FoundationsFormal VerificationGraph TheoryProgram AnalysisSoftware AnalysisComputational Complexity

Publications per year

1966–2003

Publications

Explicit substitutions

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

Engineering, Automated Reasoning, Concrete Implementations +9

The geometry of optimal lambda reduction

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

Mathematical Programming, Engineering, Graph Theory +12

Explicit substitutions

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

Engineering, Concrete Implementations, Formal Methods +8

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 · 149 citations · Full text

Generalized Function, Type Theory, Mathematical Foundations +7

Computations in Orthogonal Rewriting Systems, II.

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

Regulated Rewriting, Rewriting System, Matrix Analysis +1

1–5 of 15