Church encoding (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Church encoding" in English language version.

refsWebsite

Global rank English rank

2books.google.com

3^rd place

3^rd place

2^nd place

2^nd place

207^th place

136^th place

low place

low place

8,084^th place

5,775^th place

1stackexchange.com

1,983^rd place

1,330^th place

low place

7,198^th place

1web.archive.org

1^st place

1^st place

383^rd place

320^th place

1tromp.github.io

low place

low place

books.google.com

Trancón y Widemann, Baltasar; Parnas, David Lorge (2008). "Tabular Expressions and Total Functional Programming". In Olaf Chitil; Zoltán Horváth; Viktória Zsók (eds.). Implementation and Application of Functional Languages. 19th International Workshop, IFL 2007, Freiburg, Germany, September 27–29, 2007 Revised Selected Papers. Lecture Notes in Computer Science. Vol. 5083. pp. 228–229. doi:10.1007/978-3-540-85373-2_13. ISBN 978-3-540-85372-5.
Tromp, John (2007). "14. Binary Lambda Calculus and Combinatory Logic". In Calude, Cristian S (ed.). Randomness And Complexity, From Leibniz To Chaitin. World Scientific. pp. 237–262. ISBN 978-981-4474-39-9.
As PDF: Tromp, John (14 May 2014). "Binary Lambda Calculus and Combinatory Logic" (PDF). Retrieved 2017-11-24.

doi.org

Trancón y Widemann, Baltasar; Parnas, David Lorge (2008). "Tabular Expressions and Total Functional Programming". In Olaf Chitil; Zoltán Horváth; Viktória Zsók (eds.). Implementation and Application of Functional Languages. 19th International Workshop, IFL 2007, Freiburg, Germany, September 27–29, 2007 Revised Selected Papers. Lecture Notes in Computer Science. Vol. 5083. pp. 228–229. doi:10.1007/978-3-540-85373-2_13. ISBN 978-3-540-85372-5.
Jansen, Jan Martin (2013). "Programming in the λ-Calculus: From Church to Scott and Back". In Achten, Peter; Koopman, Pieter W. M. (eds.). The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Lecture Notes in Computer Science. Vol. 8106. Springer. pp. 168–180. doi:10.1007/978-3-642-40355-2_12. ISBN 978-3-642-40354-5.

github.com

Bauer, Andrej (26 September 2022). "Real number computational software". GitHub.

haskell.org

wiki.haskell.org

"Exact real arithmetic". Haskell. Archived from the original on 2015-03-26.

monash.edu.au

csse.monash.edu.au

Allison, Lloyd. "Lambda Calculus Integers".

okmij.org

"Predecessor and lists are not representable in simply typed lambda calculus". Lambda Calculus and Lambda Calculators. okmij.org.

psu.edu

citeseerx.ist.psu.edu

Jansen, Jan Martin; Koopman, Pieter W. M.; Plasmeijer, Marinus J. (2006). "Efficient interpretation by transforming data types and patterns to functions". In Nilsson, Henrik (ed.). Trends in functional programming. Volume 7. Bristol: Intellect. pp. 73–90. CiteSeerX 10.1.1.73.9841. ISBN 978-1-84150-188-8.

stackexchange.com

cs.stackexchange.com

Bauer, Andrej. "Andrej's answer to a question; "Representing negative and complex numbers using lambda calculus"".

tromp.github.io

Tromp, John (2007). "14. Binary Lambda Calculus and Combinatory Logic". In Calude, Cristian S (ed.). Randomness And Complexity, From Leibniz To Chaitin. World Scientific. pp. 237–262. ISBN 978-981-4474-39-9.
As PDF: Tromp, John (14 May 2014). "Binary Lambda Calculus and Combinatory Logic" (PDF). Retrieved 2017-11-24.

web.archive.org

"Exact real arithmetic". Haskell. Archived from the original on 2015-03-26.