1. Gradualizing the Calculus of Inductive Constructions

    janvier 2019 – juillet 2019
    Équipe Gallinette (Université de Nantes), avec Nicolas Tabareau

    Durant mon M2, j’ai effectué un stage sous la supervision de Nicolas Tabareau. En collaboration avec Éric Tanter nous avons travaillé à mélanger le typage graduel au calcul des constructions inductives. Même si ce stage a donné lieu à un rapport et à une soutenance, celles-ci sont obsolètes – voir à la place la publication correspondante.

    Pdf Slides