# 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):

- What is the lambda (λ) calculus (conceptually)?
- Defining a function as a lambda (λ) abstraction.
- The simple untyped lamda (λ) calculus (definition).
- Bound vs. free variables in the lambda (λ) calculus.
- Delta (δ) rules in the lambda (λ) calculus.
- Beta (β) reduction in the lambda (λ) calculus.
- Alpha (α) conversion in the lambda (λ) calculus.
- Eta (η) conversion in the lambda (λ) calculus.
- Lambda calculus (λ) evaluation rules.
- Lambda calculus (λ) reduction orders and normal form.
- 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