Lambda calculus

TODO

Articles

• λ-Calculus, Combinatory Logic and Cartesian Closed Categories

• Foundations of Dawn: The Untyped Concatenative Calculus

• Lambda Calculus

• All you need is λ, part one: booleans

• A λ-calculus interpreter in less than 300 lines of JavaScript

• A circuit-like notation for lambda calculus

• A Gentle Introduction to Lambda Calculus - Part 1: Syntax

• Fun with Lambda Calculus

Books

• The impact of the lambda calculus

Links

• Lambda Calculus and Lambda Calculators

• History of Lambda Calculus

• Lambda Calculus Visualizations

• pLam - An interpreter for learning and exploring pure λ-calculus