Гомотопическая теория типов (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Гомотопическая теория типов" in Russian language version.

refsWebsite

Global rank Russian rank

383^rd place

298^th place

3web.archive.org

1^st place

1^st place

2,527^th place

4,651^st place

1uu.se

3,805^th place

5,463^rd place

1,564^th place

1,893^rd place

low place

low place

5^th place

5^th place

2^nd place

3^rd place

cmu.edu

andrew.cmu.edu

Steve Awodey. Structuralism, Invariance, and Univalence // Philosophia Mathematica^[англ.]. — Oxford University Press, 2014. — Т. 22, № 1. — ISSN 0031-8019. — doi:10.1093/philmat/nkt030. Архивировано 16 декабря 2014 года.

doi.org

dx.doi.org

Steve Awodey. Structuralism, Invariance, and Univalence // Philosophia Mathematica^[англ.]. — Oxford University Press, 2014. — Т. 22, № 1. — ISSN 0031-8019. — doi:10.1093/philmat/nkt030. Архивировано 16 декабря 2014 года.

github.com

mcgill.ca

math.mcgill.ca

Makkai Mihály. First Order Logic with Dependent Sorts, with Applications to Category Theory (англ.) (1995). Дата обращения: 5 декабря 2014. Архивировано 10 октября 2015 года.

uu.se

www2.math.uu.se

Identity Types — Topological and Categorical Structure. Workshop, Uppsala, November 13-14, 2006 (неопр.) (2006). Дата обращения: 5 декабря 2013. Архивировано 18 декабря 2014 года.

web.archive.org

Makkai Mihály. First Order Logic with Dependent Sorts, with Applications to Category Theory (англ.) (1995). Дата обращения: 5 декабря 2014. Архивировано 10 октября 2015 года.
Identity Types — Topological and Categorical Structure. Workshop, Uppsala, November 13-14, 2006 (неопр.) (2006). Дата обращения: 5 декабря 2013. Архивировано 18 декабря 2014 года.
Steve Awodey. Structuralism, Invariance, and Univalence // Philosophia Mathematica^[англ.]. — Oxford University Press, 2014. — Т. 22, № 1. — ISSN 0031-8019. — doi:10.1093/philmat/nkt030. Архивировано 16 декабря 2014 года.

wikipedia.org

en.wikipedia.org

Steve Awodey. Structuralism, Invariance, and Univalence // Philosophia Mathematica^[англ.]. — Oxford University Press, 2014. — Т. 22, № 1. — ISSN 0031-8019. — doi:10.1093/philmat/nkt030. Архивировано 16 декабря 2014 года.

worldcat.org

Steve Awodey. Structuralism, Invariance, and Univalence // Philosophia Mathematica^[англ.]. — Oxford University Press, 2014. — Т. 22, № 1. — ISSN 0031-8019. — doi:10.1093/philmat/nkt030. Архивировано 16 декабря 2014 года.