19:25

Types as programs from logic

15:59

Composition is the transitive law in code.

18:01

Diagrams for Sequent Calculus

10:34

Proofs as Program

13:59

Hacking substitution: why we need lambda calculus

9:42

I was asked to keep this confidential

14:46

The Mind-Blowing Math Behind Fourier Transform

19:32

Psychic Cringe Fails 2 - The Best of James Randi