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

[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday December 8, 2023, 3:30PM, Salle 3052\\
**Moana Jubert**  //Prérequis homotopiques de la théorie des types homotopiques//
\\


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday November 24, 2023, 3:30PM, Salle 3052\\
**Pierre-Évariste Dagand**  //Demystifying substitutions in type theory//
\\


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday November 10, 2023, 3:30PM, Salle 3052\\
**Sylvain Douteau**  //Elementary introduction of simplicial sets//
\\


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday October 20, 2023, 3:30PM, Salle 3052\\
**Vincent Moreau**  //Overview of type theory//
\\