Hacking substitution: why we need lambda calculus
6:18
When contexts collide (Higher Order Logic)
35:48
❖ The Big M Method : Maximization with Mixed Constraints ❖
0:06
Simplifying Expressions / Collecting like terms / Algebra
19:25
Types as programs from logic
15:59
Composition is the transitive law in code.
19:06
Calculus at a Fifth Grade Level
15:58
Finding The Slope Algorithm (Forward Mode Automatic Differentiation) - Computerphile
17:47