~~NOCACHE~~
/* DO NOT EDIT THIS FILE             */

[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 8 décembre 2023, 15 heures 30, Salle 3052\\
**Moana Jubert**  //Prérequis homotopiques de la théorie des types homotopiques//
\\


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 24 novembre 2023, 15 heures 30, Salle 3052\\
**Pierre-Évariste Dagand**  //Demystifying substitutions in type theory//
\\


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 10 novembre 2023, 15 heures 30, Salle 3052\\
**Sylvain Douteau**  //Elementary introduction of simplicial sets//
\\


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 20 octobre 2023, 15 heures 30, Salle 3052\\
**Vincent Moreau**  //Overview of type theory//
\\