Combinatory logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Combinatory logic" in English language version.

refsWebsite

Global rank English rank

7doi.org

2^nd place

4semanticscholar.org

11^th place

8^th place

3jstor.org

26^th place

20^th place

1lmu.de

low place

1worldcat.org

5^th place

1uleth.ca

low place

1projecteuclid.org

3,707^th place

2,409^th place

1ams.org

451^st place

277^th place

1ejournals.eu

low place

1ethz.ch

2,224^th place

1,900^th place

ams.org (Global: 451^st place; English: 277^th place)

mathscinet.ams.org

Hindley & Meredith 1990. Hindley, J. Roger; Meredith, David (1990). "Principal type-schemes and condensed detachment". Journal of Symbolic Logic. 55 (1): 90–105. doi:10.2307/2274956. JSTOR 2274956. MR 1043546. S2CID 6930576.

doi.org (Global: 2^nd place; English: 2^nd place)

Schönfinkel 1924, The article that founded combinatory logic. English translation: Schönfinkel (1967). Schönfinkel, Moses (1924). "Über die Bausteine der mathematischen Logik" (PDF). Mathematische Annalen (in German). 92 (3–4): 305–316. doi:10.1007/bf01448013. S2CID 118507515. The article that founded combinatory logic. English translation: Schönfinkel (1967) Schönfinkel, Moses (1967) [1924]. Van Heijenoort, Jean (ed.). Über die Bausteine der mathematischen Logik [On the building blocks of mathematical logic]. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Translated by Bauer-Mengelberg, Stefan. Cambridge, MA, USA: Harvard University Press. pp. 355–366. ISBN 978-0674324497. OCLC 503886453.
Curry 1930. Curry, Haskell Brooks (1930). "Grundlagen der Kombinatorischen Logik" [Foundations of combinatorial logic]. American Journal of Mathematics (in German). 52 (3). The Johns Hopkins University Press: 509–536. doi:10.2307/2370619. JSTOR 2370619.
Hindley & Meredith 1990. Hindley, J. Roger; Meredith, David (1990). "Principal type-schemes and condensed detachment". Journal of Symbolic Logic. 55 (1): 90–105. doi:10.2307/2274956. JSTOR 2274956. MR 1043546. S2CID 6930576.
Turner 1979. Turner, David A. (1979). "Another Algorithm for Bracket Abstraction". The Journal of Symbolic Logic. 44 (2): 267–270. doi:10.2307/2273733. JSTOR 2273733. S2CID 35835482.
Lachowski 2018. Lachowski, Łukasz (2018). "On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic". Reports on Mathematical Logic. 2018 (53): 19–42. doi:10.4467/20842589RM.18.002.8835. Retrieved 9 September 2018.
Goldberg 2004. Goldberg, Mayer (2004). "A construction of one-point bases in extended lambda calculi". Information Processing Letters. 89 (6): 281–286. doi:10.1016/j.ipl.2003.12.005.
Cherlin 1991. Cherlin, Edward (1991). "Pure functions in APL and J". Proceedings of the international conference on APL '91 - APL '91. pp. 88–93. doi:10.1145/114054.114065. ISBN 0897914414. S2CID 25802202.

ejournals.eu (Global: low place; English: low place)

Lachowski 2018. Lachowski, Łukasz (2018). "On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic". Reports on Mathematical Logic. 2018 (53): 19–42. doi:10.4467/20842589RM.18.002.8835. Retrieved 9 September 2018.

ethz.ch (Global: 2,224^th place; English: 1,900^th place)

people.math.ethz.ch

Engeler 1995. Engeler, E. (1995). The Combinatory Programme (PDF). Birkhäuser. pp. 5–6.

jstor.org (Global: 26^th place; English: 20^th place)

Curry 1930. Curry, Haskell Brooks (1930). "Grundlagen der Kombinatorischen Logik" [Foundations of combinatorial logic]. American Journal of Mathematics (in German). 52 (3). The Johns Hopkins University Press: 509–536. doi:10.2307/2370619. JSTOR 2370619.
Hindley & Meredith 1990. Hindley, J. Roger; Meredith, David (1990). "Principal type-schemes and condensed detachment". Journal of Symbolic Logic. 55 (1): 90–105. doi:10.2307/2274956. JSTOR 2274956. MR 1043546. S2CID 6930576.
Turner 1979. Turner, David A. (1979). "Another Algorithm for Bracket Abstraction". The Journal of Symbolic Logic. 44 (2): 267–270. doi:10.2307/2273733. JSTOR 2273733. S2CID 35835482.

lmu.de (Global: low place; English: low place)

cip.ifi.lmu.de

Schönfinkel 1924, The article that founded combinatory logic. English translation: Schönfinkel (1967). Schönfinkel, Moses (1924). "Über die Bausteine der mathematischen Logik" (PDF). Mathematische Annalen (in German). 92 (3–4): 305–316. doi:10.1007/bf01448013. S2CID 118507515. The article that founded combinatory logic. English translation: Schönfinkel (1967) Schönfinkel, Moses (1967) [1924]. Van Heijenoort, Jean (ed.). Über die Bausteine der mathematischen Logik [On the building blocks of mathematical logic]. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Translated by Bauer-Mengelberg, Stefan. Cambridge, MA, USA: Harvard University Press. pp. 355–366. ISBN 978-0674324497. OCLC 503886453.

projecteuclid.org (Global: 3,707^th place; English: 2,409^th place)

Hindley & Meredith 1990. Hindley, J. Roger; Meredith, David (1990). "Principal type-schemes and condensed detachment". Journal of Symbolic Logic. 55 (1): 90–105. doi:10.2307/2274956. JSTOR 2274956. MR 1043546. S2CID 6930576.

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Schönfinkel 1924, The article that founded combinatory logic. English translation: Schönfinkel (1967). Schönfinkel, Moses (1924). "Über die Bausteine der mathematischen Logik" (PDF). Mathematische Annalen (in German). 92 (3–4): 305–316. doi:10.1007/bf01448013. S2CID 118507515. The article that founded combinatory logic. English translation: Schönfinkel (1967) Schönfinkel, Moses (1967) [1924]. Van Heijenoort, Jean (ed.). Über die Bausteine der mathematischen Logik [On the building blocks of mathematical logic]. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Translated by Bauer-Mengelberg, Stefan. Cambridge, MA, USA: Harvard University Press. pp. 355–366. ISBN 978-0674324497. OCLC 503886453.
Hindley & Meredith 1990. Hindley, J. Roger; Meredith, David (1990). "Principal type-schemes and condensed detachment". Journal of Symbolic Logic. 55 (1): 90–105. doi:10.2307/2274956. JSTOR 2274956. MR 1043546. S2CID 6930576.
Turner 1979. Turner, David A. (1979). "Another Algorithm for Bracket Abstraction". The Journal of Symbolic Logic. 44 (2): 267–270. doi:10.2307/2273733. JSTOR 2273733. S2CID 35835482.
Cherlin 1991. Cherlin, Edward (1991). "Pure functions in APL and J". Proceedings of the international conference on APL '91 - APL '91. pp. 88–93. doi:10.1145/114054.114065. ISBN 0897914414. S2CID 25802202.

uleth.ca (Global: low place; English: low place)

people.uleth.ca

Seldin 2008. Seldin, Jonathan P. (3 March 2008). "The Logic of Curry and Church" (PDF). Retrieved 17 September 2023.

worldcat.org (Global: 5^th place; English: 5^th place)

search.worldcat.org

Schönfinkel 1924, The article that founded combinatory logic. English translation: Schönfinkel (1967). Schönfinkel, Moses (1924). "Über die Bausteine der mathematischen Logik" (PDF). Mathematische Annalen (in German). 92 (3–4): 305–316. doi:10.1007/bf01448013. S2CID 118507515. The article that founded combinatory logic. English translation: Schönfinkel (1967) Schönfinkel, Moses (1967) [1924]. Van Heijenoort, Jean (ed.). Über die Bausteine der mathematischen Logik [On the building blocks of mathematical logic]. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Translated by Bauer-Mengelberg, Stefan. Cambridge, MA, USA: Harvard University Press. pp. 355–366. ISBN 978-0674324497. OCLC 503886453.

Combinatory logic (English Wikipedia)

ams.org (Global: 451st place; English: 277th place)

mathscinet.ams.org

doi.org (Global: 2nd place; English: 2nd place)

ejournals.eu (Global: low place; English: low place)

ethz.ch (Global: 2,224th place; English: 1,900th place)

people.math.ethz.ch

jstor.org (Global: 26th place; English: 20th place)

lmu.de (Global: low place; English: low place)

cip.ifi.lmu.de

projecteuclid.org (Global: 3,707th place; English: 2,409th place)

semanticscholar.org (Global: 11th place; English: 8th place)

api.semanticscholar.org

uleth.ca (Global: low place; English: low place)

people.uleth.ca

worldcat.org (Global: 5th place; English: 5th place)

search.worldcat.org

ams.org (Global: 451^st place; English: 277^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

ethz.ch (Global: 2,224^th place; English: 1,900^th place)

jstor.org (Global: 26^th place; English: 20^th place)

projecteuclid.org (Global: 3,707^th place; English: 2,409^th place)

semanticscholar.org (Global: 11^th place; English: 8^th place)

worldcat.org (Global: 5^th place; English: 5^th place)