Type theory and the algebra of types
15:58
Une introduction douce à la théorie des catégories
20:14
How to unify logic & arithmetic
23:40
The Hardest Problem in Type Theory - Computerphile
21:15
What is the Moebius function? #SomePi
31:17
Singular Value Decomposition | Linear algebra episode 9
19:17
Complex numbers as matrices | Representation theory episode 1
19:24
Type Theory for the Working Rustacean - Dan Pittman
17:27