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

lambda calculus primer

The content of these articles is also available as a full length video: Lambda (λ) Calculus Primer!

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.

Leave a Reply

Your email address will not be published. Required fields are marked *