Lambda Calculus Reduction Quiz

Topics: α-reduction, β-reduction, η-reduction