Computer Science ∩ Mathematics (Type Theory) - Computerphile
18:02
Automated Mathematical Proofs - Computerphile
17:46
Propositions as Types - Computerphile
15:11
The Foundation of Mathematics - Numberphile
23:40
The Hardest Problem in Type Theory - Computerphile
12:18
Recursion 'Super Power' (in Python) - Computerphile
19:24
The Language of Categories | Category Theory and Why We Care 1.1
14:54
La matemática que se necesita para Ciencias informáticas
21:48