Meven Lennon-Bertrand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2021–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Bidirectional Interpolation for the λ-Calculus: Revisiting and Formalising Craig-Čubrić Interpolation. | Meven Lennon-Bertrand, Alexis Saurin |
| 2025 | FSCD | What Does It Take to Certify a Conversion Checker? | Meven Lennon-Bertrand |
| 2024 | CPP | Martin-Lf la Coq. | Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pdrot, Loc Pujet |
| 2024 | ESOP | Definitional Functoriality for Dependent (Sub)Types. | Tho Laurent, Meven Lennon-Bertrand, Kenji Maillard |
| 2024 | ESOP | Artifact Description - Definitional Functoriality for Dependent (Sub)Types. | Tho Laurent, Meven Lennon-Bertrand, Kenji Maillard |
| 2021 | ITP | Complete Bidirectional Typing for the Calculus of Inductive Constructions. | Meven Lennon-Bertrand |