Meven Lennon-Bertrand

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

  1. Complete Bidirectional Typing for the Calculus of Inductive Constructions

    Meven Lennon-Bertrand
    2021 (submitted)
    Pdf Hal

  2. Gradualizing the Calculus of Inductive Constructions

    Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
    2021 (submitted)
    Pdf Hal