Lambda Calculus - Computerphile
13:26
Essentials: Functional Programming's Y Combinator - Computerphile
21:50
What is a Monad? - Computerphile
12:59
The Boundary of Computation
21:20
Cracking Enigma in 2021 - Computerphile
16:55
Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)
16:20
Von Neumann Architecture - Computerphile
12:32
Programming Loops vs Recursion - Computerphile
9:51