https://github.com/mireklzicar/awesome-lambda-calculus
https://github.com/mireklzicar/awesome-lambda-calculus
combinatory-logic functional-programming haskell lambda lambda-calculus lambda-expressions lambda-function lisp
Last synced: 9 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/mireklzicar/awesome-lambda-calculus
- Owner: mireklzicar
- Created: 2024-08-05T13:40:03.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-08-05T14:01:46.000Z (over 1 year ago)
- Last Synced: 2025-10-28T17:02:08.169Z (4 months ago)
- Topics: combinatory-logic, functional-programming, haskell, lambda, lambda-calculus, lambda-expressions, lambda-function, lisp
- Homepage:
- Size: 4.88 KB
- Stars: 1
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# [Awesome Lambda Calculus](https://en.wikipedia.org/wiki/Lambda_calculus) [](https://github.com/sindresorhus/awesome)
A curated list of awesome lambda calculus resources, libraries, tools, and more.
## Contents
- [Youtube](#youtube)
- [Books](#books)
- [Tutorials and Articles](#tutorials-and-articles)
- [Repositories](#repositories)
- [Courses](#courses)
- [Tools](#tools)
- [Communities](#communities)
## Youtube
- [Lambda Calculus - Computerphile](https://www.youtube.com/watch?v=eis11j_iGMs)
- [Programming with Math | The Lambda Calculus](https://www.youtube.com/watch?v=ViPNHMSUcog)
- [Lambda Cube Unboxed – Theo Reto](https://www.youtube.com/playlist?app=desktop&list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4)
## Books
- [Lambda-Calculus and Combinators: An Introduction – Roger Hindley](https://www.amazon.com/Lambda-Calculus-Combinators-Introduction-Roger-Hindley/dp/0521898854)
- [An Introduction to Functional Programming Through Lambda Calculus – Greg Michaelson](https://www.amazon.com/Introduction-Functional-Programming-Calculus-Mathematics/dp/0486478831/ref=pd_bxgy_d_sccl_1/139-5484372-9620455?pd_rd_w=mU5uX&content-id=amzn1.sym.c51e3ad7-b551-4b1a-b43c-3cf69addb649&pf_rd_p=c51e3ad7-b551-4b1a-b43c-3cf69addb649&pf_rd_r=A82D6N3C9AQ92VHQRHCY&pd_rd_wg=Yi4ge&pd_rd_r=41860d20-e8f6-46cf-8ddc-3eb05a6854cb&pd_rd_i=0486478831&psc=1)
- [The Lambda Calculus. Its Syntax and Semantics](https://www.amazon.com/Lambda-Calculus-Syntax-Semantics-Studies/dp/184890066X/ref=sr_1_4?crid=3EVD0UV0T0N82&dib=eyJ2IjoiMSJ9.htg-ldEytwSbFC_zggESLg7HNnkp3kPpBvyEPcy4DDqbxWaWuaLERJKQGPUN8onPdSKq7iViVuu8ubcAQNc0YrbJt6kNwhHRVnAHjLkXgKDCSMtRgQNfwmtZropzYVtMpDLoGkkcwWsV0PAlYwC9gcGr69v8urPf-YYF7K-WUhF6L1SzItR6JbCW1j_XeX98sds-RMS6xaieGQce5FJUndYjvFDyu5hpCF1ZDBM9zSU.we9H9Lq2_U1_t2gszOLP5yjtJ9w8Ds_ENzIJmwjMa0g&dib_tag=se&keywords=lambda+calculus&qid=1722866110&s=books&sprefix=lambda+calculu%2Cstripbooks-intl-ship%2C222&sr=1-4)
- [Programming Languages and Lambda Calculi – Course notes from the UoU](https://www.cs.utah.edu/~mflatt/past-courses/cs7520/public_html/s06/notes.pdf) -
- [Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire](http://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf)
- [An Introduction to Lambda Calculi for Computer Scientists](https://www.cs.rochester.edu/~brown/173/readings/LCBook.pdf)
- [To Mock a Mockingbird](https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird) - A book about combinatory logic and the lambda calculus
## Tutorials and Articles
- [The Y Combinator (Slight Return)](http://mvanier.livejournal.com/2897.html)
- [Getting clever with lambda calculus](http://casualjavascript.com/2015/12/18/getting-clever-with-lambda.html)
- [Category Theory via C# (22) More Monad: Continuation Monad](http://weblogs.asp.net/dixin/category-theory-via-c-sharp-22-more-monad-continuation-monad)
- [A 𝝺-CALCULUS INTERPRETER - in less than 200 lines of JavaScript](http://tadeuzagallo.com/blog/writing-a-lambda-calculus-interpreter-in-javascript/)
- [Compiling to lambda-calculus: Turtles all the way down](http://matt.might.net/articles/compiling-up-to-lambda-calculus)
- [Lambda Calculus](http://dev.stephendiehl.com/fun/lambda_calculus.html)
- [The Lambda Calculus for Absolute Dummies](http://palmstroem.blogspot.com/2012/05/lambda-calculus-for-absolute-dummies.html)
## Repositories
- [lambda-calculus](https://github.com/benji6/lambda-calculus) - A lambda calculus interpreter written in JavaScript
- [LambdaJS](https://github.com/loop-recur/lambdajs) - A Lambda Calculus Interpreter in JavaScript
- [lambda-calculus-interpreter](https://github.com/mtomassoli/lambda-calculus-interpreter) - A simple lambda calculus interpreter in Python
## Tools
- [Lambda Calculus Interpreter](http://jacksongl.github.io/files/demo/lambda/index.htm) - An online lambda calculus interpreter
- [Lambda Calculus Reducer](https://www.wolframcloud.com/objects/microsites/LambdaCalculusReducer) - A Wolfram Cloud tool for reducing lambda calculus expressions
## Communities
- [Lambda the Ultimate](http://lambda-the-ultimate.org/) - A community-driven blog about programming languages, lambda calculus, and related topics
- [/r/lambdacalculus](https://www.reddit.com/r/lambdacalculus/) - Reddit community for discussing lambda calculus
## Contributing
Your contributions are always welcome! Please submit a pull request or create an issue to add a new resource to the list.
## License
[](https://creativecommons.org/publicdomain/zero/1.0/)
To the extent possible under law, the author has waived all copyright and related or neighboring rights to this work.