Meven Lennon-Bertrand

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

  1. Complete Bidirectional Typing for the Calculus of Inductive Constructions

    Meven Lennon-Bertrand
    ITP 2021
    Pdf Hal arXiv

  2. Gradualizing the Calculus of Inductive Constructions

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