Jean-Jacques Lévy

According to our database, Jean-Jacques Lévy authored at least 25 papers between 1973 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle.

Ran Chen, Cyril Cohen, Jean-Jacques Lévy, Stephan Merz, Laurent Théry

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle.

Ran Chen, Cyril Cohen, Jean-Jacques Lévy, Stephan Merz, Laurent Théry

CoRR, 2018

2017

Redexes are stable in the λ-calculus.

Jean-Jacques Lévy

Math. Struct. Comput. Sci., 2017

A Semi-automatic Proof of Strong Connectivity.

Ran Chen, Jean-Jacques Lévy

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

2013

The Cost of Usage in the Lambda-Calculus.

Andrea Asperti, Jean-Jacques Lévy

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2011

Introduction to the Theory of Programming Languages.

Gilles Dowek, Jean-Jacques Lévy

Undergraduate Topics in Computer Science, Springer, ISBN: 978-0-85729-076-2, 2011

2005

Sharing in the Weak Lambda-Calculus.

Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget

Proceedings of the Processes, 2005

2001

Introduction - Bohm's theorem: applications to Computer Science Theory - BOTH 2001.

Jean-Jacques Lévy

Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

2000

An Asynchronous, Distributed Implementation of Mobile Ambients.

Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt

Proceedings of the Theoretical Computer Science, 2000

1999

Explicit Substitutions and Programming Languages.

Jean-Jacques Lévy, Luc Maranget

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1997

Some Results in the Joint-Calculus.

Jean-Jacques Lévy

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.

Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy

J. ACM, 1996

Analysis and Caching of Dependencies.

Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

A Calculus of Mobile Agents.

Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy

Proceedings of the CONCUR '96, 1996

1992

The Geometry of Optimal Lambda Reduction.

Georges Gonthier, Martín Abadi, Jean-Jacques Lévy

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

An abstract standardisation theorem

Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Linear Logic Without Boxes

Georges Gonthier, Martín Abadi, Jean-Jacques Lévy

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

Explicit Substitutions.

Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy

J. Funct. Program., 1991

Computations in Orthogonal Rewriting Systems, II.

Gérard P. Huet, Jean-Jacques Lévy

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

Computations in Orthogonal Rewriting Systems, I.

Gérard P. Huet, Jean-Jacques Lévy

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1979

Minimal and Optimal Computations of Recursive Programs.

Gérard Berry, Jean-Jacques Lévy

J. ACM, 1979

A Survey of Some Syntactic Results in the lambda-Calculus.

Gérard Berry, Jean-Jacques Lévy

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1976

An Algebraic Interpretation of the <i> lambda beta </i> K-Calculus; and an Application of a Labelled <i> lambda </i> -Calculus.

Jean-Jacques Lévy

Theor. Comput. Sci., 1976

1975

An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus.

Jean-Jacques Lévy

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

1973

Mechanizable Proofs about Parallel Processes

Jean-Marie Cadiou, Jean-Jacques Lévy

Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973