Meven Lennon-Bertrand

According to our database, Meven Lennon-Bertrand authored at least 8 papers between 2018 and 2024.

Collaborative distances:

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

2024

Artifact Description - Definitional Functoriality for Dependent (Sub)Types.

Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard

Proceedings of the Programming Languages and Systems, 2024

Definitional Functoriality for Dependent (Sub)Types.

Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard

Proceedings of the Programming Languages and Systems, 2024

Martin-Löf à la Coq.

Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

Bidirectional Typing for the Calculus of Inductive Constructions. (Typage Bidirectionnel pour le Calcul des Constructions Inductives).

Meven Lennon-Bertrand

PhD thesis, 2022

Gradualizing the Calculus of Inductive Constructions.

Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter

ACM Trans. Program. Lang. Syst., 2022

A reasonably gradual type theory.

Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter

Proc. ACM Program. Lang., 2022

2021

Complete Bidirectional Typing for the Calculus of Inductive Constructions.

Meven Lennon-Bertrand

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2018

Coalgebraic Determinization of Alternating Automata.

Meven Bertrand, Jurriaan Rot

CoRR, 2018