SKI combinator calculus (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "SKI combinator calculus" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

1semanticscholar.org

11^th place

8^th place

1books.google.com

3^rd place

3^rd place

26^th place

20^th place

1tromp.github.io

low place

low place

1,168^th place

1,193^rd place

low place

8,775^th place

low place

low place

benestudio.co

blog.benestudio.co

Bene, Adam (17 August 2017). "Fixed-Point Combinators in JavaScript". Bene Studio. Medium. Retrieved 2 August 2020.

books.google.com

Schönfinkel, M. (1924). "Über die Bausteine der mathematischen Logik". Mathematische Annalen. 92 (3–4): 305–316. doi:10.1007/BF01448013. S2CID 118507515. Translated by Stefan Bauer-Mengelberg as van Heijenoort, Jean, ed. (2002) [1967]. "On the building blocks of mathematical logic". A Source Book in Mathematical Logic 1879–1931. Harvard University Press. pp. 355–366. ISBN 9780674324497.

doi.org

Schönfinkel, M. (1924). "Über die Bausteine der mathematischen Logik". Mathematische Annalen. 92 (3–4): 305–316. doi:10.1007/BF01448013. S2CID 118507515. Translated by Stefan Bauer-Mengelberg as van Heijenoort, Jean, ed. (2002) [1967]. "On the building blocks of mathematical logic". A Source Book in Mathematical Logic 1879–1931. Harvard University Press. pp. 355–366. ISBN 9780674324497.
Curry, Haskell Brooks (1930). "Grundlagen der Kombinatorischen Logik" [Foundations of combinatorial logic]. American Journal of Mathematics (in German). 52 (3). Johns Hopkins University Press: 509–536. doi:10.2307/2370619. JSTOR 2370619.

iaea.org

inis.iaea.org

Larry Wos, William McCune (September 1988). "Searching for Fixed Point Combinators by Using Automated Theorem Proving: A Preliminary Report" (PDF). Argonne National Laboratory. Retrieved December 12, 2024., p.9

jstor.org

Curry, Haskell Brooks (1930). "Grundlagen der Kombinatorischen Logik" [Foundations of combinatorial logic]. American Journal of Mathematics (in German). 52 (3). Johns Hopkins University Press: 509–536. doi:10.2307/2370619. JSTOR 2370619.

ncatlab.org

"A construction due to Klop 2007" https://ncatlab.org/nlab/show/fixed-point+combinator

semanticscholar.org

api.semanticscholar.org

Schönfinkel, M. (1924). "Über die Bausteine der mathematischen Logik". Mathematische Annalen. 92 (3–4): 305–316. doi:10.1007/BF01448013. S2CID 118507515. Translated by Stefan Bauer-Mengelberg as van Heijenoort, Jean, ed. (2002) [1967]. "On the building blocks of mathematical logic". A Source Book in Mathematical Logic 1879–1931. Harvard University Press. pp. 355–366. ISBN 9780674324497.

tromp.github.io

https://tromp.github.io/