Lambda calculus definition (English Wikipedia)

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

refsWebsite

Global rank English rank

2lambda-bound.com

low place

low place

1web.archive.org

1^st place

1^st place

610^th place

704^th place

9,586^th place

6,136^th place

69^th place

59^th place

18^th place

17^th place

low place

7,981^st place

2^nd place

2^nd place

838^th place

2,630^th place

arxiv.org

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

chalmers.se

cse.chalmers.se

Barendregt, Henk; Barendsen, Erik (March 2000), Introduction to Lambda Calculus (PDF)

dal.ca

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

dx.doi.org

de Queiroz, Ruy J.G.B. "A Proof-Theoretic Account of Programming and the Role of Reduction Rules." Dialectica 42(4), pages 265-282, 1988.

elsevier.com

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, Amsterdam., ISBN 978-0-444-87508-2, archived from the original on 2004-08-23 — Corrections

google.ca

scholar.google.ca

"Notes on evaluating λ-calculus terms and abstract machines". scholar.google.ca. Retrieved 2024-05-14.

harvard.edu

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

lambda-bound.com

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

web.archive.org

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, Amsterdam., ISBN 978-0-444-87508-2, archived from the original on 2004-08-23 — Corrections