Lambda Calculus - Computerphile
21:50
What is a Monad? - Computerphile
13:26
Essentials: Functional Programming's Y Combinator - Computerphile
1:08:24
Lambda Calculus vs. Turing Machines (Theory of Computation)
16:20
Von Neumann Architecture - Computerphile
46:09
Why Isn't Functional Programming the Norm? – Richard Feldman
16:55
Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
21:07
Is Functional Programming DEAD Already?
11:31