Lambda calculus - Wikipedia, the free encyclopedia
First posted by rwhe january 2013.
RT : Lambda calculus was & is the heart and soul of 'FP', not pattern matching or immutable collections or 'closures'.
10 weeks ago
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.