λ-calculus is a formal system for function definition, function application and recursion which forms the mathematical basis of functional programming.
λ-calculus is a formal system for function definition, function application and recursion which forms the mathematical basis of functional programming.
Since many people ask how to reduce λ-expressions with the intermediate steps, take a look at Lambda calculus reduction workbench and its interpreter.
Related Tags
References
Lean - Function Abstraction and Evaluation