Proofs as Program
15:59
Composition is the transitive law in code.
15:06
Creating Universal Programs
34:39
Derivative of sin x and cos x
51:33
Lec 1 | MIT 18.01 Single Variable Calculus, Fall 2007
18:01
Diagrams for Sequent Calculus
19:25
Types as programs from logic
10:20
Can a program exist forever? A first Universal Program
11:35