15:47

Introduction to the Untyped λ-Calculus (1.1)

18:41

The Simply Typed Lambda Calculus (2.1)

16:25

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

13:26

Essentials: Functional Programming's Y Combinator - Computerphile

26:48

The Extension λ_ω_ (Lambda Weak Omega)

28:50

Propositions as Types (7)

34:26

Lambda (λ) Calculus Primer

42:43

"Propositions as Types" by Philip Wadler