The Lambda Cube and λC (6)
28:50
Propositions as Types (7)
18:41
The Simply Typed Lambda Calculus (2.1)
16:55
Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
14:49
Computing in λ2 (3.2)
7:57
The Extension λP (Lambda P) (5)
1:15:25
Stephanie Weirich: "Strongly Typed System F in GHC"
4:17
Lambda Cube Unboxed (0)
26:48