Lý thuyết hình thái đồng luân (Vietnamese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Lý thuyết hình thái đồng luân" in Vietnamese language version.

refsWebsite

Global rank Vietnamese rank

3^rd place

6^th place

451^st place

287^th place

3,395^th place

2,994^th place

low place

6,060^th place

ams.org

Hofmann, Martin; Streicher, Thomas (1998). “The groupoid interpretation of type theory”. Trong Sambin, Giovanni; Smith, Jan M. (biên tập). Twenty Five Years of Constructive Type Theory. Oxford Logic Guides. 36. Clarendon Press. tr. 83–111. ISBN 978-0-19-158903-4. MR 1686862.

Hofmann, Martin; Streicher, Thomas (1998). “The groupoid interpretation of type theory”. Trong Sambin, Giovanni; Smith, Jan M. (biên tập). Twenty Five Years of Constructive Type Theory. Oxford Logic Guides. 36. Clarendon Press. tr. 83–111. ISBN 978-0-19-158903-4. MR 1686862.

Meyer, Florian (ngày 3 tháng 9 năm 2014). “A new foundation for mathematics”. R&D Magazine. Truy cập ngày 6 tháng 9 năm 2014.