File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
lambda calculus
Also known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
formal system in mathematical logic
Wikidata facts
- Image
- Un terme avec liens version 2.png
Show 2 more facts
- Commons category
- Lambda calculus
- Stack Exchange tag
- stackoverflow.com/tags/lambda-calculus
Sources (3)
via Wikidata · CC0
~40 min read
Article
The lambda abstraction decomposed. The
λ