Hugo Salou – ENS M1
Traquenard HoTT
Enseignant : Hugo Salou
Cours par chapitres
Chapitre 0 :
Introduction à la topologie algébrique
Chapitre 1 :
Topologie algébrique et catégories
Chapitre 2 :
Théorie des types (homotopiques)
Chapitre 3 :
Correspondance de Curry-Howard-Lambek