Concepedia
1
Publications
16
Citations
H-Index
2022
Active since
Affiliations
Institut national de recherche en sciences et technologies du numérique(Current)
Meven Lennon-Bertrand is an author at Institut national de recherche en sciences et technologies du numérique.
Publications per year
2022–2022
Gradualizing the Calculus of Inductive Constructions
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau et al. · ACM Transactions on Programming Languages and Systems · 2022 · 16 citations · Full text
Rows per page
1–1 of 1