Lambda calculus (English Wikipedia)

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

refsWebsite

Global rank English rank

17doi.org

2^nd place

6jstor.org

26^th place

20^th place

5semanticscholar.org

11^th place

8^th place

5books.google.com

3^rd place

3arxiv.org

69^th place

59^th place

2ru.nl

9,179^th place

6,972^nd place

2stanford.edu

179^th place

183^rd place

2web.archive.org

1^st place

1ncatlab.org

low place

8,775^th place

1researchgate.net

120^th place

125^th place

1youtube.com

9^th place

13^th place

1elsevier.com

610^th place

704^th place

1lambda-bound.com

low place

1softoption.us

low place

1dal.ca

9,586^th place

6,136^th place

1harvard.edu

18^th place

17^th place

1haskell.org

low place

7,198^th place

1utah.edu

2,446^th place

1,661^st place

1uoregon.edu

3,144^th place

2,101^st place

1benestudio.co

low place

1cornell.edu

332^nd place

246^th place

1ox.ac.uk

613^th place

456^th place

1unito.it

low place

1handle.net

102^nd place

76^th place

1uni-saarland.de

low place

1itu.dk

low place

1dagstuhl.de

low place

1archive.org

6^th place

1psu.edu

207^th place

136^th place

1lsv.fr

low place

1cmu.edu

1,564^th place

1,028^th place

1hw.ac.uk

low place

archive.org (Global: 6^th place; English: 6^th place)

scholar.archive.org

Frandsen, Gudmund Skovbjerg; Sturtivant, Carl (26 August 1991). "What is an efficient implementation of the λ-calculus?". Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991. Proceedings. Lecture Notes in Computer Science. Vol. 523. Springer-Verlag. pp. 289–312. CiteSeerX 10.1.1.139.6913. doi:10.1007/3540543961_14. ISBN 9783540543961.

arxiv.org (Global: 69^th place; English: 59^th place)

Selinger, Peter (2008), Lecture Notes on the Lambda Calculus (PDF), vol. 0804, Department of Mathematics and Statistics, University of Ottawa, p. 9, arXiv:0804.3434, Bibcode:2008arXiv0804.3434S
Accattoli, Beniamino; Dal Lago, Ugo (14 July 2014). "Beta reduction is invariant, indeed". Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). pp. 1–10. arXiv:1601.01233. doi:10.1145/2603088.2603105. ISBN 9781450328869. S2CID 11485010.
Asperti, Andrea (16 Jan 2017). "About the efficient reduction of lambda terms". arXiv:1701.04240v1 [cs.LO].

benestudio.co (Global: low place; English: low place)

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

books.google.com (Global: 3^rd place; English: 3^rd place)

Moortgat, Michael (1988). Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. Foris Publications. ISBN 9789067653879.
Bunt, Harry; Muskens, Reinhard, eds. (2008). Computing Meaning. Springer. ISBN 978-1-4020-5957-5.
Mitchell, John C. (2003). Concepts in Programming Languages. Cambridge University Press. p. 57. ISBN 978-0-521-78098-8..
Partee, B. B. H.; ter Meulen, A.; Wall, R. E. (1990). Mathematical Methods in Linguistics. Springer. ISBN 9789027722454. Retrieved 29 Dec 2016.
Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. p. 56. ISBN 0-262-16209-1.

cmu.edu (Global: 1,564^th place; English: 1,028^th place)

cs.cmu.edu

Scott, Dana (1993). "A type-theoretical alternative to ISWIM, CUCH, OWHY" (PDF). Theoretical Computer Science. 121 (1–2): 411–440. doi:10.1016/0304-3975(93)90095-B. Retrieved 2022-12-01. Written 1969, widely circulated as an unpublished manuscript.

cornell.edu (Global: 332^nd place; English: 246^th place)

cs.cornell.edu

"CS 6110 S17 Lecture 5. Recursion and Fixed-Point Combinators" (PDF). Cornell University. 4.1 A CBV Fixed-Point Combinator.

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

drops.dagstuhl.de

Biernacka, Małgorzata; Charatonik, Witold; Drab, Tomasz (2022). Andronick, June; de Moura, Leonardo (eds.). "The Zoo of Lambda-Calculus Reduction Strategies, and Coq" (PDF). 13th International Conference on Interactive Theorem Proving (ITP 2022). 237. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 7:1–7:19. doi:10.4230/LIPIcs.ITP.2022.7. Retrieved 22 August 2022.

dal.ca (Global: 9,586^th place; English: 6,136^th place)

mathstat.dal.ca

Selinger, Peter (2008), Lecture Notes on the Lambda Calculus (PDF), vol. 0804, Department of Mathematics and Statistics, University of Ottawa, p. 9, arXiv:0804.3434, Bibcode:2008arXiv0804.3434S

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

Turing, Alan M. (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280. S2CID 2317046.
Church, Alonzo (1932). "A set of postulates for the foundation of logic". Annals of Mathematics. Series 2. 33 (2): 346–366. doi:10.2307/1968337. JSTOR 1968337.
Kleene, Stephen C.; Rosser, J. B. (July 1935). "The Inconsistency of Certain Formal Logics". The Annals of Mathematics. 36 (3): 630. doi:10.2307/1968646. JSTOR 1968646.
Church, Alonzo (December 1942). "Review of Haskell B. Curry, The Inconsistency of Certain Formal Logics". The Journal of Symbolic Logic. 7 (4): 170–171. doi:10.2307/2268117. JSTOR 2268117.
Church, Alonzo (1936). "An unsolvable problem of elementary number theory". American Journal of Mathematics. 58 (2): 345–363. doi:10.2307/2371045. JSTOR 2371045.
Church, Alonzo (1940). "A Formulation of the Simple Theory of Types". Journal of Symbolic Logic. 5 (2): 56–68. doi:10.2307/2266170. JSTOR 2266170. S2CID 15889861.
de Queiroz, Ruy J. G. B. (1988). "A Proof-Theoretic Account of Programming and the Role of Reduction Rules". Dialectica. 42 (4): 265–282. doi:10.1111/j.1746-8361.1988.tb00919.x.
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia (2014). "Preciseness of Subtyping on Intersection and Union Types" (PDF). Rewriting and Typed Lambda Calculi. Lecture Notes in Computer Science. Vol. 8560. p. 196. doi:10.1007/978-3-319-08918-8_14. hdl:2318/149874. ISBN 978-3-319-08917-1. Retrieved 14 January 2022.
Forster, Yannick; Smolka, Gert (August 2019). "Call-by-Value Lambda Calculus as a Model of Computation in Coq" (PDF). Journal of Automated Reasoning. 63 (2): 393–413. doi:10.1007/s10817-018-9484-2. S2CID 53087112. Retrieved 14 January 2022.
Sestoft, Peter (2002). "Demonstrating Lambda Calculus Reduction" (PDF). The Essence of Computation. Lecture Notes in Computer Science. Vol. 2566. pp. 420–435. doi:10.1007/3-540-36377-7_19. ISBN 978-3-540-00326-7. Retrieved 22 August 2022.
Biernacka, Małgorzata; Charatonik, Witold; Drab, Tomasz (2022). Andronick, June; de Moura, Leonardo (eds.). "The Zoo of Lambda-Calculus Reduction Strategies, and Coq" (PDF). 13th International Conference on Interactive Theorem Proving (ITP 2022). 237. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 7:1–7:19. doi:10.4230/LIPIcs.ITP.2022.7. Retrieved 22 August 2022.
Frandsen, Gudmund Skovbjerg; Sturtivant, Carl (26 August 1991). "What is an efficient implementation of the λ-calculus?". Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991. Proceedings. Lecture Notes in Computer Science. Vol. 523. Springer-Verlag. pp. 289–312. CiteSeerX 10.1.1.139.6913. doi:10.1007/3540543961_14. ISBN 9783540543961.
Sinot, F.-R. (2005). "Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting" (PDF). Journal of Logic and Computation. 15 (2): 201–218. doi:10.1093/logcom/exi010.
Accattoli, Beniamino; Dal Lago, Ugo (14 July 2014). "Beta reduction is invariant, indeed". Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). pp. 1–10. arXiv:1601.01233. doi:10.1145/2603088.2603105. ISBN 9781450328869. S2CID 11485010.
Accattoli, Beniamino (October 2018). "(In)Efficiency and Reasonable Cost Models". Electronic Notes in Theoretical Computer Science. 338: 23–43. doi:10.1016/j.entcs.2018.10.003.
Landin, P. J. (1965). "A Correspondence between ALGOL 60 and Church's Lambda-notation". Communications of the ACM. 8 (2): 89–101. doi:10.1145/363744.363749. S2CID 6505810.
Scott, Dana (1993). "A type-theoretical alternative to ISWIM, CUCH, OWHY" (PDF). Theoretical Computer Science. 121 (1–2): 411–440. doi:10.1016/0304-3975(93)90095-B. Retrieved 2022-12-01. Written 1969, widely circulated as an unpublished manuscript.

elsevier.com (Global: 610^th place; English: 704^th place)

Barendregt, Hendrik Pieter (1984). The Lambda Calculus: Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics. Vol. 103 (Revised ed.). North Holland. ISBN 0-444-87508-5. (Corrections).

handle.net (Global: 102^nd place; English: 76^th place)

hdl.handle.net

Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia (2014). "Preciseness of Subtyping on Intersection and Union Types" (PDF). Rewriting and Typed Lambda Calculi. Lecture Notes in Computer Science. Vol. 8560. p. 196. doi:10.1007/978-3-319-08918-8_14. hdl:2318/149874. ISBN 978-3-319-08917-1. Retrieved 14 January 2022.

harvard.edu (Global: 18^th place; English: 17^th place)

ui.adsabs.harvard.edu

Selinger, Peter (2008), Lecture Notes on the Lambda Calculus (PDF), vol. 0804, Department of Mathematics and Statistics, University of Ottawa, p. 9, arXiv:0804.3434, Bibcode:2008arXiv0804.3434S

haskell.org (Global: low place; English: 7,198^th place)

mail.haskell.org

Luke Palmer (29 Dec 2010) Haskell-cafe: What's the motivation for η rules?

hw.ac.uk (Global: low place; English: low place)

macs.hw.ac.uk

"Greg Michaelson's Homepage". Mathematical and Computer Sciences. Riccarton, Edinburgh: Heriot-Watt University. Retrieved 6 November 2022.

itu.dk (Global: low place; English: low place)

Sestoft, Peter (2002). "Demonstrating Lambda Calculus Reduction" (PDF). The Essence of Computation. Lecture Notes in Computer Science. Vol. 2566. pp. 420–435. doi:10.1007/3-540-36377-7_19. ISBN 978-3-540-00326-7. Retrieved 22 August 2022.

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

Turing, Alan M. (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280. S2CID 2317046.
Church, Alonzo (1932). "A set of postulates for the foundation of logic". Annals of Mathematics. Series 2. 33 (2): 346–366. doi:10.2307/1968337. JSTOR 1968337.
Kleene, Stephen C.; Rosser, J. B. (July 1935). "The Inconsistency of Certain Formal Logics". The Annals of Mathematics. 36 (3): 630. doi:10.2307/1968646. JSTOR 1968646.
Church, Alonzo (December 1942). "Review of Haskell B. Curry, The Inconsistency of Certain Formal Logics". The Journal of Symbolic Logic. 7 (4): 170–171. doi:10.2307/2268117. JSTOR 2268117.
Church, Alonzo (1936). "An unsolvable problem of elementary number theory". American Journal of Mathematics. 58 (2): 345–363. doi:10.2307/2371045. JSTOR 2371045.
Church, Alonzo (1940). "A Formulation of the Simple Theory of Types". Journal of Symbolic Logic. 5 (2): 56–68. doi:10.2307/2266170. JSTOR 2266170. S2CID 15889861.

lambda-bound.com (Global: low place; English: low place)

"Example for Rules of Associativity". Lambda-bound.com. Retrieved 2012-06-18.

lsv.fr (Global: low place; English: low place)

Sinot, F.-R. (2005). "Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting" (PDF). Journal of Logic and Computation. 15 (2): 201–218. doi:10.1093/logcom/exi010.

ncatlab.org (Global: low place; English: 8,775^th place)

explicit substitution at the nLab

ox.ac.uk (Global: 613^th place; English: 456^th place)

cs.ox.ac.uk

Ker, Andrew D. "Lambda Calculus and Types" (PDF). p. 6. Retrieved 14 January 2022.

psu.edu (Global: 207^th place; English: 136^th place)

citeseerx.ist.psu.edu

Frandsen, Gudmund Skovbjerg; Sturtivant, Carl (26 August 1991). "What is an efficient implementation of the λ-calculus?". Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991. Proceedings. Lecture Notes in Computer Science. Vol. 523. Springer-Verlag. pp. 289–312. CiteSeerX 10.1.1.139.6913. doi:10.1007/3540543961_14. ISBN 9783540543961.

researchgate.net (Global: 120^th place; English: 125^th place)

Chacón Sartori, Camilo (2023-12-05). Introduction to Lambda Calculus using Racket (Technical report). Archived from the original on 2023-12-07.

ru.nl (Global: 9,179^th place; English: 6,972^nd place)

ftp.science.ru.nl

Barendregt, Henk; Barendsen, Erik (March 2000), Introduction to Lambda Calculus (PDF)
Barendregt, Hendrik Pieter (1984). The Lambda Calculus: Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics. Vol. 103 (Revised ed.). North Holland. ISBN 0-444-87508-5. (Corrections).

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

api.semanticscholar.org

Turing, Alan M. (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280. S2CID 2317046.
Church, Alonzo (1940). "A Formulation of the Simple Theory of Types". Journal of Symbolic Logic. 5 (2): 56–68. doi:10.2307/2266170. JSTOR 2266170. S2CID 15889861.
Forster, Yannick; Smolka, Gert (August 2019). "Call-by-Value Lambda Calculus as a Model of Computation in Coq" (PDF). Journal of Automated Reasoning. 63 (2): 393–413. doi:10.1007/s10817-018-9484-2. S2CID 53087112. Retrieved 14 January 2022.
Accattoli, Beniamino; Dal Lago, Ugo (14 July 2014). "Beta reduction is invariant, indeed". Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). pp. 1–10. arXiv:1601.01233. doi:10.1145/2603088.2603105. ISBN 9781450328869. S2CID 11485010.
Landin, P. J. (1965). "A Correspondence between ALGOL 60 and Church's Lambda-notation". Communications of the ACM. 8 (2): 89–101. doi:10.1145/363744.363749. S2CID 6505810.

softoption.us (Global: low place; English: low place)

"The Basic Grammar of Lambda Expressions". SoftOption. Some other systems use juxtaposition to mean application, so 'ab' means 'a@b'. This is fine except that it requires that variables have length one so that we know that 'ab' is two variables juxtaposed not one variable of length 2. But we want to labels like 'firstVariable' to mean a single variable, so we cannot use this juxtaposition convention.

stanford.edu (Global: 179^th place; English: 183^rd place)

plato.stanford.edu

Coquand, Thierry (8 February 2006). Zalta, Edward N. (ed.). "Type Theory". The Stanford Encyclopedia of Philosophy (Summer 2013 ed.). Retrieved November 17, 2020.
Alama, Jesse. Zalta, Edward N. (ed.). "The Lambda Calculus". The Stanford Encyclopedia of Philosophy (Summer 2013 ed.). Retrieved November 17, 2020.

uni-saarland.de (Global: low place; English: low place)

ps.uni-saarland.de

Forster, Yannick; Smolka, Gert (August 2019). "Call-by-Value Lambda Calculus as a Model of Computation in Coq" (PDF). Journal of Automated Reasoning. 63 (2): 393–413. doi:10.1007/s10817-018-9484-2. S2CID 53087112. Retrieved 14 January 2022.

unito.it (Global: low place; English: low place)

di.unito.it

Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia (2014). "Preciseness of Subtyping on Intersection and Union Types" (PDF). Rewriting and Typed Lambda Calculi. Lecture Notes in Computer Science. Vol. 8560. p. 196. doi:10.1007/978-3-319-08918-8_14. hdl:2318/149874. ISBN 978-3-319-08917-1. Retrieved 14 January 2022.

uoregon.edu (Global: 3,144^th place; English: 2,101^st place)

ix.cs.uoregon.edu

Zena M. Ariola and Stefan Blom, Proc. TACS '94 Sendai, Japan 1997 (1997) Cyclic lambda calculi 114 pages.

utah.edu (Global: 2,446^th place; English: 1,661^st place)

cs.utah.edu

Felleisen, Matthias; Flatt, Matthew (2006), Programming Languages and Lambda Calculi (PDF), p. 26, archived from the original (PDF) on 2009-02-05; A note (accessed 2017) at the original location suggests that the authors consider the work originally referenced to have been superseded by a book.

web.archive.org (Global: 1^st place; English: 1^st place)

Chacón Sartori, Camilo (2023-12-05). Introduction to Lambda Calculus using Racket (Technical report). Archived from the original on 2023-12-07.
Felleisen, Matthias; Flatt, Matthew (2006), Programming Languages and Lambda Calculi (PDF), p. 26, archived from the original (PDF) on 2009-02-05; A note (accessed 2017) at the original location suggests that the authors consider the work originally referenced to have been superseded by a book.

youtube.com (Global: 9^th place; English: 13^th place)

Dana Scott, "Looking Backward; Looking Forward", Invited Talk at the Workshop in honour of Dana Scott's 85th birthday and 50 years of domain theory, 7–8 July, FLoC 2018 (talk 7 July 2018). The relevant passage begins at 32:50. (See also this extract of a May 2016 talk at the University of Birmingham, UK.)

Lambda calculus (English Wikipedia)

archive.org (Global: 6th place; English: 6th place)

scholar.archive.org

arxiv.org (Global: 69th place; English: 59th place)

benestudio.co (Global: low place; English: low place)

books.google.com (Global: 3rd place; English: 3rd place)

cmu.edu (Global: 1,564th place; English: 1,028th place)

cs.cmu.edu

cornell.edu (Global: 332nd place; English: 246th place)

cs.cornell.edu

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

drops.dagstuhl.de

dal.ca (Global: 9,586th place; English: 6,136th place)

mathstat.dal.ca

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

elsevier.com (Global: 610th place; English: 704th place)

handle.net (Global: 102nd place; English: 76th place)

hdl.handle.net

harvard.edu (Global: 18th place; English: 17th place)

ui.adsabs.harvard.edu

haskell.org (Global: low place; English: 7,198th place)

mail.haskell.org

hw.ac.uk (Global: low place; English: low place)

macs.hw.ac.uk

itu.dk (Global: low place; English: low place)

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

lambda-bound.com (Global: low place; English: low place)

lsv.fr (Global: low place; English: low place)

ncatlab.org (Global: low place; English: 8,775th place)

ox.ac.uk (Global: 613th place; English: 456th place)

cs.ox.ac.uk

psu.edu (Global: 207th place; English: 136th place)

citeseerx.ist.psu.edu

researchgate.net (Global: 120th place; English: 125th place)

ru.nl (Global: 9,179th place; English: 6,972nd place)

ftp.science.ru.nl

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

api.semanticscholar.org

softoption.us (Global: low place; English: low place)

stanford.edu (Global: 179th place; English: 183rd place)

plato.stanford.edu

uni-saarland.de (Global: low place; English: low place)

ps.uni-saarland.de

unito.it (Global: low place; English: low place)

di.unito.it

uoregon.edu (Global: 3,144th place; English: 2,101st place)

ix.cs.uoregon.edu

utah.edu (Global: 2,446th place; English: 1,661st place)

cs.utah.edu

web.archive.org (Global: 1st place; English: 1st place)

youtube.com (Global: 9th place; English: 13th place)

archive.org (Global: 6^th place; English: 6^th place)

arxiv.org (Global: 69^th place; English: 59^th place)

books.google.com (Global: 3^rd place; English: 3^rd place)

cmu.edu (Global: 1,564^th place; English: 1,028^th place)

cornell.edu (Global: 332^nd place; English: 246^th place)

dal.ca (Global: 9,586^th place; English: 6,136^th place)

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

elsevier.com (Global: 610^th place; English: 704^th place)

handle.net (Global: 102^nd place; English: 76^th place)

harvard.edu (Global: 18^th place; English: 17^th place)

haskell.org (Global: low place; English: 7,198^th place)

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

ncatlab.org (Global: low place; English: 8,775^th place)

ox.ac.uk (Global: 613^th place; English: 456^th place)

psu.edu (Global: 207^th place; English: 136^th place)

researchgate.net (Global: 120^th place; English: 125^th place)

ru.nl (Global: 9,179^th place; English: 6,972^nd place)

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

stanford.edu (Global: 179^th place; English: 183^rd place)

uoregon.edu (Global: 3,144^th place; English: 2,101^st place)

utah.edu (Global: 2,446^th place; English: 1,661^st place)

web.archive.org (Global: 1^st place; English: 1^st place)

youtube.com (Global: 9^th place; English: 13^th place)