Meven Lennon-Bertrand
en
fr
 
À propos
Diffusion
Enseignement
Exposés
Publications
Stages
Un calcul des constructions graduel
Slides
Page
Gradualizing the Calculus of Inductive Constructions
Slides
Vidéo