Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Keyboard shortcuts
h, / search box
j, ↓ next result
k, ↑ prev result
l, o, Enter go
More...
Ctrl+Enter bg
', v new tab
d domain search
t Top
!, 1 !bang dropdown
esc out of bangs
s Did you mean
r related topics
m main results
More explanation...
Lambda calculus
The lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation by way of variable binding and substitution.
More at Wikipedia
Applicative computing systems
Binary Lambda Calculus
More related topics
Calculus of constructions
Cartesian closed category
Categorical abstract machine
Combinatory logic
Formal methods
Computability theory
Models of computation
Theoretical computer science
American inventions
This page requires Javascript.Get the non-JS version
here
.