Diagrams for Sequent Calculus
9:11
Proving with Sequents
19:25
Types as programs from logic
13:33
Cones in 3D: the pullback
15:59
Composition is the transitive law in code.
17:47
Implications make functions...with side-effects
11:34
Algebra Basics: What Are Functions? - Math Antics
4:00:37
4 Hours Chopin for Studying, Concentration & Relaxation
2:26:31