Homotopy type theory
Homotopy type theory - Computerphile
The HoTT Book
L'axiome d'univalence - Science4All
La théorie homotopique des types - Science4All