Кодирование Чёрча (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Кодирование Чёрча" in Russian language version.

refsWebsite

Global rank Russian rank

low place

low place

1books.google.com

3^rd place

10^th place

1tromp.github.io

low place

low place

1web.archive.org

1^st place

1^st place

2^nd place

3^rd place

books.google.com

Tromp, John. 14. Binary Lambda Calculus and Combinatory Logic // Randomness And Complexity, From Leibniz To Chaitin (англ.) / Calude, Cristian S.. — World Scientific, 2007. — P. 237—262. — ISBN 978-981-4474-39-9.
As PDF: Tromp, John Binary Lambda Calculus and Combinatory Logic (неопр.) (PDF) (14 мая 2014). Дата обращения: 24 ноября 2017. Архивировано 1 июня 2018 года.

doi.org

dx.doi.org

Jansen, Jan Martin. Programming in the λ-Calculus: From Church to Scott and Back (англ.) // LNCS^[англ.] : journal. — 2013. — Vol. 8106. — P. 168—180. — doi:10.1007/978-3-642-40355-2_12.

tromp.github.io

Tromp, John. 14. Binary Lambda Calculus and Combinatory Logic // Randomness And Complexity, From Leibniz To Chaitin (англ.) / Calude, Cristian S.. — World Scientific, 2007. — P. 237—262. — ISBN 978-981-4474-39-9.
As PDF: Tromp, John Binary Lambda Calculus and Combinatory Logic (неопр.) (PDF) (14 мая 2014). Дата обращения: 24 ноября 2017. Архивировано 1 июня 2018 года.

web.archive.org

Tromp, John. 14. Binary Lambda Calculus and Combinatory Logic // Randomness And Complexity, From Leibniz To Chaitin (англ.) / Calude, Cristian S.. — World Scientific, 2007. — P. 237—262. — ISBN 978-981-4474-39-9.
As PDF: Tromp, John Binary Lambda Calculus and Combinatory Logic (неопр.) (PDF) (14 мая 2014). Дата обращения: 24 ноября 2017. Архивировано 1 июня 2018 года.

wikipedia.org

en.wikipedia.org

Pierce, Benjamin C.^[англ.]. Types and Programming Languages^[англ.]. — MIT Press, 2002. — С. 500. — ISBN 978-0-262-16209-8.
Jansen, Jan Martin. Programming in the λ-Calculus: From Church to Scott and Back (англ.) // LNCS^[англ.] : journal. — 2013. — Vol. 8106. — P. 168—180. — doi:10.1007/978-3-642-40355-2_12.