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
Wikidata facts
- Instance of
- mathematical model
- Subclass of
- formal system
- Part of
- theory of computation
- Named after
- Λ
- Image
- Un terme avec liens version 2.png
- Has use
- model of computation
Show 6 more facts
- discoverer or inventor
- Alonzo Church
- topic's main category
- Category:Lambda calculus
- Commons category
- Lambda calculus
- has characteristic
- Turing completeness
- Stack Exchange tag
- stackoverflow.com/tags/lambda-calculus
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
~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.