Propositions as Types (7)
26:48
The Extension λ_ω_ (Lambda Weak Omega)
18:41
The Simply Typed Lambda Calculus (2.1)
15:47
Introduction to the Untyped λ-Calculus (1.1)
37:14
Type Theory Foundations 1.0 — Robert Harper
42:43
"Propositions as Types" by Philip Wadler
17:46
Propositions as Types - Computerphile
20:24
Fails You May Have Missed | Instant Regret 😔
10:44