Meven Lennon-Bertrand
en
fr
 
À propos
Diffusion
Enseignement
Publications
Stages
Complete Bidirectional Typing for the Calculus of Inductive Constructions
Pdf
Hal
Gradualizing the Calculus of Inductive Constructions
Pdf
Hal