Hugo Salou – ENS L3
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