Jean-Jacques Lévy

Publication Activity (10 Years)

Years Active: 1973-2019
Publications (10 Years): 4

Top Topics

Strongly Connected Components

Matching Algorithm

Ontology Mapping

Semi Automatically

Top Venues

Publications

Ran Chen, Cyril Cohen, Jean-Jacques Lévy, Stephan Merz, Laurent Théry
Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle. ITP (2019)
Ran Chen, Cyril Cohen, Jean-Jacques Lévy, Stephan Merz, Laurent Théry
Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle. CoRR (2018)
Ran Chen, Jean-Jacques Lévy
A Semi-automatic Proof of Strong Connectivity. VSTTE (2017)
Jean-Jacques Lévy
Redexes are stable in the λ-calculus. Math. Struct. Comput. Sci. 27 (5) (2017)
Andrea Asperti, Jean-Jacques Lévy
The Cost of Usage in the Lambda-Calculus. LICS (2013)
Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget
Sharing in the Weak Lambda-Calculus. Processes, Terms and Cycles (2005)
Jean-Jacques Lévy
Introduction - Bohm's theorem: applications to Computer Science Theory - BOTH 2001. Electron. Notes Theor. Comput. Sci. 50 (2) (2001)
Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt
An Asynchronous, Distributed Implementation of Mobile Ambients. IFIP TCS (2000)
Jean-Jacques Lévy, Luc Maranget
Explicit Substitutions and Programming Languages. FSTTCS (1999)
Jean-Jacques Lévy
Some Results in the Joint-Calculus. TACS (1997)
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) (1996)
Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
A Calculus of Mobile Agents. CONCUR (1996)
Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy
Analysis and Caching of Dependencies. ICFP (1996)
Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
Linear Logic Without Boxes LICS (1992)
Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
The Geometry of Optimal Lambda Reduction. POPL (1992)
Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès
An abstract standardisation theorem LICS (1992)
Gérard P. Huet, Jean-Jacques Lévy
Computations in Orthogonal Rewriting Systems, II. Computational Logic - Essays in Honor of Alan Robinson (1991)
Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
Explicit Substitutions. J. Funct. Program. 1 (4) (1991)
Gérard P. Huet, Jean-Jacques Lévy
Computations in Orthogonal Rewriting Systems, I. Computational Logic - Essays in Honor of Alan Robinson (1991)
Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
Explicit Substitutions. POPL (1990)
Gérard Berry, Jean-Jacques Lévy
Minimal and Optimal Computations of Recursive Programs. J. ACM 26 (1) (1979)
Gérard Berry, Jean-Jacques Lévy
A Survey of Some Syntactic Results in the lambda-Calculus. MFCS (1979)
Gérard Berry, Jean-Jacques Lévy
Minimal and Optimal Computations of Recursive Programs. POPL (1977)
Jean-Jacques Lévy
-Calculus. Theor. Comput. Sci. 2 (1) (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)
J. M. Cadiou, Jean-Jacques Lévy
Mechanizable Proofs about Parallel Processes SWAT (1973)