Lambda (λ) calculus primer: from the basics to complete programs

by Liger Learn

This is the landing page for the “Lambda Calculus Primer” series of articles.

Articles (links will be updated as articles are published):

1. What is the lambda (λ) calculus (conceptually)?
2. Defining a function as a lambda (λ) abstraction.
3. The simple untyped lamda (λ) calculus (definition).
4. Bound vs. free variables in the lambda (λ) calculus.
5. Delta (δ) rules in the lambda (λ) calculus.
6. Beta (β) reduction in the lambda (λ) calculus.
7. Alpha (α) conversion in the lambda (λ) calculus.
8. Eta (η) conversion in the lambda (λ) calculus.
9. Lambda calculus (λ) evaluation rules.
10. Lambda calculus (λ) reduction orders and normal form.
11. Church-Rosser theorems and the lambda (λ) calculus.

Recent Posts

Creating Java JPA entities with a JSON field

June 7, 2020

Creating Java JPA entities with an XML field

May 25, 2020

Using Emacs to edit files within Docker containers

March 12, 2017