Lambda Calculus: β-Reduction
Church's original model of computation — functions, variables, substitution
Syntax
β-Reduction
Church Numerals
Y Combinator
Step →
Normalize
Preset