Теория типов (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Теория типов" in Russian language version.

refsWebsite

Global rank Russian rank

1web.archive.org

1^st place

1^st place

1,564^th place

1,893^rd place

69^th place

148^th place

arxiv.org

Yue Niu, Robert Harper. Cost-Aware Type Theory. — Carnegie Mellon University, 2020. — arXiv:2011.03660v1.

cmu.edu

cs.cmu.edu

Robert Harper Research Papers (неопр.). Дата обращения: 20 октября 2016. Архивировано из оригинала 30 октября 2016 года.

web.archive.org

Robert Harper Research Papers (неопр.). Дата обращения: 20 октября 2016. Архивировано из оригинала 30 октября 2016 года.