Propositions as Types - Computerphile
42:43
"Propositions as Types" by Philip Wadler
23:40
The Hardest Problem in Type Theory - Computerphile
21:50
What is a Monad? - Computerphile
20:00
Essentials: Pointer Power! - Computerphile
20:56
Category Theory 8.2: Type algebra, Curry-Howard-Lambek isomorphism
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
14:21
Laziness in Python - Computerphile
18:37