Editing Lambda calculus (section)

== External links ==
{{Commons category}}
* Graham Hutton, [https://www.youtube.com/watch?v=eis11j_iGMs Lambda Calculus], a short (12 minutes) Computerphile video on the Lambda Calculus
* Helmut Brandl, ''[https://hbr.github.io/Lambda-Calculus/ Step by Step Introduction to Lambda Calculus]''
* {{springer|title=Lambda-calculus|id=p/l057000}}
* David C. Keenan, ''[http://dkeenan.com/Lambda/ To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction]''
* L. Allison, ''[http://www.allisons.org/ll/FP/Lambda/Examples/ Some executable λ-calculus examples]''
* Georg P. Loczewski, [http://www.lambda-bound.com/book/lambdacalc/lcalconl.html ''The Lambda Calculus and A++'']
* Bret Victor, ''[http://worrydream.com/AlligatorEggs/ Alligator Eggs: A Puzzle Game Based on Lambda Calculus]''
* ''[http://www.safalra.com/science/lambda-calculus/ Lambda Calculus] {{Webarchive|url=https://web.archive.org/web/20121014180848/http://safalra.com/science/lambda-calculus/ |date=2012-10-14}}'' on [http://www.safalra.com/ Safalra's Website] {{Webarchive|url=https://web.archive.org/web/20210502051230/https://safalra.com/ |date=2021-05-02}}
* [https://chatziko.github.io/lci/ LCI Lambda Interpreter] a simple yet powerful pure calculus interpreter
* [http://lambda-the-ultimate.org/classic/lc.html Lambda Calculus links on Lambda-the-Ultimate]
* Mike Thyer, [https://web.archive.org/web/20070713173324/http://thyer.name/lambda-animator/ Lambda Animator], a graphical Java applet demonstrating alternative reduction strategies.
* [http://matt.might.net/articles/c++-template-meta-programming-with-lambda-calculus/ Implementing the Lambda calculus] using [[C++ Templates]]
* Shane Steinert-Threlkeld, [https://web.archive.org/web/20141216225504/http://www.iep.utm.edu/lambda-calculi/ "Lambda Calculi"], ''[[Internet Encyclopedia of Philosophy]]''
* Anton Salikhmetov, [https://codedot.github.io/lambda/ ''Macro Lambda Calculus'']

{{Alonzo Church}}
{{Mathematical logic}}
{{authority control}}
{{Formal semantics}}
{{Functions navbox}}

[[Category:Lambda calculus| ]]
[[Category:1936 in computing]]
[[Category:Computability theory]]
[[Category:Formal methods]]
[[Category:Models of computation]]
[[Category:Theoretical computer science]]
[[Category:Programming language comparisons]]
<!-- Hidden categories below -->
[[Category:Articles with example Lisp (programming language) code]]
[[Category:Articles with example Python (programming language) code]]