Brunerie, Guillaume
France
Date de naissance
1989
Langues d'expression
anglais
Auteur d'une thèse en Mathématiques à Nice en 2016
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence
Brunerie
Guillaume
Théorie des types dépendants et axiome d'univalence