Hacker News
- An Introduction to the Lambda Calculus (2015) http://www.learningclojure.com/2015/11/an-introduction-to-lambda-calculus.html 34 comments
- A Short Introduction to the Lambda Calculus (2004) [pdf] http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf 18 comments
- A Short and Painless Introduction to the Lambda Calculus [pdf] http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf 19 comments
Lobsters
- A Tutorial Introduction to the Lambda Calculus (2015) https://arxiv.org/pdf/1503.09060 4 comments programming
- A Short Introduction to the Lambda Calculus http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf 18 comments compsci , pdf
- Lambda Calculus Introduction https://www.twitch.tv/gary_bernhardt/v/90270724?t=21m48s 2 comments compsci , video
- Simply typed lambda calculus | Introduction to Type Sytems https://splintah.gitlab.io/posts/2020-05-24-simply-typed-lambda.html 4 comments haskell
- Simply typed lambda calculus | Introduction to Type Sytems https://splintah.gitlab.io/posts/2020-05-24-simply-typed-lambda.html 7 comments haskell
- Step by step introduction to lambda calculus https://www.dropbox.com/s/i0qgfoye6artcp8/untyped_lambda.pdf?dl=0 19 comments compsci
- Introduction to the Lambda Calculus http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf 8 comments programming
- Nice introduction to untyped lambda calculus http://www.flownet.com/ron/lambda-calculus.html 12 comments programming
- A Tutorial Introduction to the Lambda Calculus http://www.utdallas.edu/~gupta/courses/apl/lambda.pdf 9 comments haskell
- An Introduction to the Lambda Calculus http://citeseer.ist.psu.edu/cache/papers/cs/11978/http:zszzszwww.cs.kun.nlzsz~erikbzszt2zszdictaatzszt2.pdf/barendregt94introduction.pdf 3 comments programming
- A Gentle Introduction to Lambda Calculus http://lucasfcosta.com/2018/07/29/an-introduction-to-lambda-calculus-part-1.html 5 comments programming
- An informal introduction to Lambda Calculus. https://medium.com/@sudhagar/an-informal-introduction-to-lambda-calculus-51c637f35f7d#.2netzr4nm 4 comments haskell
- Easy Introduction to The Lambda Calculus http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx 30 comments programming
- An Introduction to Lambda Calculus--explains non-trivial theorems, not just syntax http://www-users.itlabs.umn.edu/classes/spring-2009/csci5980-fpl/resources/papers/lambda.pdf 15 comments programming
- An Introduction to Functional Programming Through Lambda Calculus [book] http://www.macs.hw.ac.uk/~greg/books/gjm.lambook88.ps.z 10 comments programming
- A gentle introduction to simply-typed lambda calculus (STLC) and type theory in general? https://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf 3 comments programminglanguages
- An introduction to Lambda Calculus, explained through JavaScript http://willtaylor.blog/an-introduction-to-lambda-calculus-explained-through-javascript/ 3 comments javascript
- Introduction to Lambda Calculus [PDF]: Free ebook by Barendregt and Barendsen ftp://ftp.cs.ru.nl/pub/compmath.found/lambda.pdf 2 comments compsci