The Lambda Cube and λC (6)
28:50
Propositions as Types (7)
26:48
The Extension λ_ω_ (Lambda Weak Omega)
16:55
Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
18:41
The Simply Typed Lambda Calculus (2.1)
10:03
Properties of the Simply Typed Lambda Calculus (2.2)
15:13
Numbers and Functions in the Untyped λ-Calculus — I (1.3.1)
7:57
The Extension λP (Lambda P) (5)
14:49