Meven Lennon-Bertrand

  • en
  • fr
  •  
  • About
  • Dissemination
  • Internships
  • Publications
  • Talks
  • Teaching

  1. Un calcul des constructions graduel

    February 2021
    Journées LHC
    Slides Page

  2. Gradualizing the Calculus of Inductive Constructions

    January 2021
    CPP Lightning Talk
    Slides Video