Meven Lennon-Bertrand

  • en
  • fr
  •  
  • À propos
  • Diffusion
  • Enseignement
  • Exposés
  • Publications
  • Stages

  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