16:25

β-Reduction in the Untyped λ-Calculus (1.2)

14:22

Numbers and Functions in the Untyped λ-Calculus — II (1.3.2):

12:40

Lambda Calculus - Computerphile

19:08

Semantics: Lambda Calculus and Types

18:41

The Simply Typed Lambda Calculus (2.1)

16:55

Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)

34:26

Lambda (λ) Calculus Primer

15:13

Numbers and Functions in the Untyped λ-Calculus — I (1.3.1)