Meven Lennon-Bertrand
en
fr
 
About
Dissemination
Internships
Publications
Talks
Teaching
Un calcul des constructions graduel
Slides
Page
Gradualizing the Calculus of Inductive Constructions
Slides
Video