Meven Lennon-Bertrand
en
fr
 
About
Dissemination
Internships
Publications
Teaching
Complete Bidirectional Typing for the Calculus of Inductive Constructions
Pdf
Hal
Gradualizing the Calculus of Inductive Constructions
Pdf
Hal