Система F (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Система F" in Russian language version.

refsWebsite

Global rank Russian rank

2web.archive.org

1^st place

1^st place

1,564^th place

1,893^rd place

low place

low place

cmu.edu

repository.cmu.edu

John C. Reynolds. Towards a Theory of Type Structure. — 1974. Архивировано 31 октября 2014 года.

hw.ac.uk

macs.hw.ac.uk

Wells J. B. Typability and type checking in the second-order lambda-calculus are equivalent and undecidable // Proceedings of the 9th Annual IEEE Symposium on Logic in Computer Science (LICS). — 1994. — С. 176–185. Архивировано 22 февраля 2007 года.

web.archive.org

John C. Reynolds. Towards a Theory of Type Structure. — 1974. Архивировано 31 октября 2014 года.
Wells J. B. Typability and type checking in the second-order lambda-calculus are equivalent and undecidable // Proceedings of the 9th Annual IEEE Symposium on Logic in Computer Science (LICS). — 1994. — С. 176–185. Архивировано 22 февраля 2007 года.