Meven Lennon-Bertrand

  • en
  • fr
  •  
  • À propos
  • Diffusion
  • Enseignement
  • Exposés
  • Publications
  • Stages
  1. Un calcul des constructions graduel

    février 2021
    Journées LHC
    Slides Page
  2. Gradualizing the Calculus of Inductive Constructions

    janvier 2021
    CPP Lightning Talk
    Slides Vidéo