Explore relationships

Lambda calculus

In mathematical logic, the lambda calculus (also written as λ-calculus) is a formal system for expressing computation based on function abstraction and application using variable binding and substitution.

Use + to expand a branch. Click a topic name to open its summary.