Introduction to Lambda Calculus
Alonzo Church - Founder of Lambda Calculus
Catalogue
Reference
- https://brilliant.org/wiki/lambda-calculus/
- Structure and Interpretation of Computer Programs
- SKI Calculus from Wikipedia
- BCKW System from Wikipedia
- Iota Calculus from Wikipedia