Modèles de l'univalence dans le cadre équivariant / Anthony Bordg ; sous la direction
d'André Hirschowitz. Thèse de doctorat : Mathématiques : Nice : 2015
Information trouvée : Rapporteur de thèse, membre du jury de thèse
Sur les groupes d’homotopie des sphères en théorie des types homotopiques / Guillaume
Brunerie ; sous la direction de Carlos Simpson. Thèse de doctorat : Mathématiques
: Nice : 2016
Information trouvée : Rapporteur de thèse, membre du jury