Meven Lennon-Bertrand

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Inductive Reasoning

Bidirectional Search

Formal Language

Black And White

Top Venues

Proc. ACM Program. Lang.

Publications

Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Artifact Description - Definitional Functoriality for Dependent (Sub)Types. ESOP (1) (2024)
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
Martin-Löf à la Coq. CPP (2024)
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Definitional Functoriality for Dependent (Sub)Types. ESOP (1) (2024)
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Definitional Functoriality for Dependent (Sub)Types. CoRR (2023)
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
Martin-Löf à la Coq. CoRR (2023)
Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter
A reasonably gradual type theory. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter
A Reasonably Gradual Type Theory. CoRR (2022)
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
Gradualizing the Calculus of Inductive Constructions. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Meven Lennon-Bertrand
Complete Bidirectional Typing for the Calculus of Inductive Constructions. ITP (2021)
Meven Lennon-Bertrand
Complete Bidirectional Typing for the Calculus of Inductive Constructions. CoRR (2021)
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
Gradualizing the Calculus of Inductive Constructions. CoRR (2020)