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
- 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
λ
Connections
semantics of logic
Entity
semantic theory of truth
Entity
normal form
Entity
mathematical logic
Entity
complex analysis
Entity
logical disjunction
Entity
first-order logic
Entity
formal system
Entity
Stephen Cole Kleene
Entity
Turing completeness
Entity
singleton
Entity
The MIT Press
Entity
combinatory logic
Entity
recursive set
Entity
universal Turing machine
Entity
rewriting
Entity
structure
Entity
typed lambda calculus
Entity
J. Barkley Rosser
Entity
Church encoding
Entity