Numbers and Functions in the Untyped λ-Calculus — II (1.3.2):
18:41
The Simply Typed Lambda Calculus (2.1)
13:32
Euler's Identity (Complex Numbers)
15:47
Introduction to the Untyped λ-Calculus (1.1)
13:07
The most intriguing discovery of Computer Science: the Y combinator demystified.
15:13
Numbers and Functions in the Untyped λ-Calculus — I (1.3.1)
28:50
Propositions as Types (7)
16:25
β-Reduction in the Untyped λ-Calculus (1.2)
4:17