Functions, closures, and lambda calculus: Programming Language Design course | Zoonk
17. Functions, closures, and lambda calculus
Use lambda calculus to model abstraction and application, then add named functions, recursion, higher-order functions, and closures. Implement captured environments correctly.