类型论 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "类型论" in Chinese language version.

refsWebsite

Global rank Chinese rank

1homotopytypetheory.org

low place

low place

1web.archive.org

1^st place

1^st place

homotopytypetheory.org

Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study. 2013 [2022-12-27]. （原始内容存档于2021-01-22）（英语）.

web.archive.org

Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study. 2013 [2022-12-27]. （原始内容存档于2021-01-22）（英语）.