Computer Science ∩ Mathematics (Type Theory) - Computerphile
23:40
The Hardest Problem in Type Theory - Computerphile
18:02
Automated Mathematical Proofs - Computerphile
17:46
Propositions as Types - Computerphile
22:07
The Mathematician's Weapon | Category Theory and Why We Care 1.0
59:40
Doc of the Day: Tracing the Path of Computer Science
1:14:48
The Future of Mathematics?
12:33
Why Information Theory is Important - Computerphile
13:31