Meven Lennon-Bertrand

Registered user since Tue 12 Jan 2021

Name:Meven Lennon-Bertrand
Country:France
Affiliation:Inria – LS2N, Université de Nantes
Personal website:http://www.meven.ac

Contributions

CPP 2021 Author of Gradualizing the Calculus of Inductive Constructions within the Lightning Talks-track