Lambda calculus - WikipediaThe lambda abstraction decomposed. The indicates the start of a function. is the input parameter. is the body, separated by a dot separator "" from the input parameter. 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. Untyped lambda calculus, t
