Jean-Jacques Lvy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
1973–2019
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ITP | Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle. | Ran Chen, Cyril Cohen, Jean-Jacques Lvy, Stephan Merz, Laurent Thry |
| 2013 | LICS | The Cost of Usage in the Lambda-Calculus. | Andrea Asperti, Jean-Jacques Lvy |
| 1996 | CONCUR | A Calculus of Mobile Agents. | Cdric Fournet, Georges Gonthier, Jean-Jacques Lvy, Luc Maranget, Didier Rmy |
| 1996 | ICFP | Analysis and Caching of Dependencies. | Martn Abadi, Butler W. Lampson, Jean-Jacques Lvy |
| 1992 | LICS | Linear Logic Without Boxes | Georges Gonthier, Martn Abadi, Jean-Jacques Lvy |
| 1992 | LICS | An abstract standardisation theorem | Georges Gonthier, Jean-Jacques Lvy, Paul-Andr Mellis |
| 1992 | POPL | The Geometry of Optimal Lambda Reduction. | Georges Gonthier, Martn Abadi, Jean-Jacques Lvy |
| 1990 | POPL | Explicit Substitutions. | Martn Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lvy |
| 1979 | MFCS | A Survey of Some Syntactic Results in the lambda-Calculus. | Grard Berry, Jean-Jacques Lvy |
| 1977 | POPL | Minimal and Optimal Computations of Recursive Programs. | Grard Berry, Jean-Jacques Lvy |
| 1973 | FOCS | Mechanizable Proofs about Parallel Processes | Jean-Marie Cadiou, Jean-Jacques Lvy |