Meven Lennon-Bertrand

  • en
  • fr
  •  
  • À propos
  • Diffusion
  • Enseignement
  • Publications
  • Stages

  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