Homotopy Type Theoryの参考文献
HoTTの公式ページが提示している文献
References | Homotopy Type Theory
『Homotopy Type Theory : Project Description』. 2009.
『Homotopy type theory and Voevodsky's univalent foundations』. 2012.
『Homotopy Type Theory Univalent Foundations of Mathematics』. 2013.
『Homotopy Type Theory 入門』. 2017.
『Introduction to Homotopy Type Theory』. 2022.
『ホモトピー型理論』上村 太一. 2023.
動画
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
関連
ホモトピー論の参考文献
型理論の文献
#Homotopy_Type_Theory(HoTT)
#特定の文献リスト
#文献