File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
lambda calculus
Sign in to saveAlso known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
formal system in mathematical logic
~40 min read
Encyclopedic overview
The lambda abstraction decomposed. The
λ
Excerpted from Wikipedia’s “lambda calculus” article, available under the CC BY-SA 4.0 licence.