Homotopy Type Theoryの参考文献
HoTTの公式ページが提示している文献
動画
Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 1 - YouTube
https://www.youtube.com/watch?v=5YOltuTcBK8
Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 2 - YouTube
https://www.youtube.com/watch?v=xWmELBvHMPo
関連