Victor LANVIN | PhD defense
Channel: IRIF
Date: 11/02/2022

"A Semantic Foundation for Gradual Set-theoretic Types"
Victor Lanvin, PhD Defense | November 9th, 2021
Institut de Recherche en Informatique Fondamentale (IRIF), Université de Paris