
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 | Gradualizing the Calculus of Inductive Constructions | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile