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 入門』
. 2017.
『Homotopy Type Theory Univalent Foundations of Mathematics』
『Introduction to Homotopy Type Theory』
【2212.11082】 Introduction to Homotopy Type Theory
. 2022.
『ホモトピー型理論』上村 太一
. 2023.
関連
ホモトピー論の参考文献
#Homotopy_Type_Theory(HoTT)
#特定の文献リスト
#文献