1. Gradualizing the Calculus of Inductive Constructions

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

    Au premier semestre 2019 j’étais stagiaire sous la supervision de Nicolas Tabareau. Avec Éric Tanter nous avons travaillé à appliquer l’approche du 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