Lambda Calculus ·
Beta Reduction
un
seel
.com · λx.M · application · substitution
β-steps
0
Redexes
0
term
—
λ abstraction
application
variable
argument / result
Play
Pause
Unmute
Reset
Un
seel
.com · Lambda Calculus