Question

State and prove Reduction Theorem

Answer 1

Answer:

The leftmost reduction theorem is one of the fundamental theorems in reduction theory of λ-calculus. For β-reduction, this theorem asserts that if a λ-term M reduces to a λ-term N and N is in a normal form, then N is obtained from M by the leftmost reduction

Answer 2

The leftmost reduction theorem is one of the fundamental theorems in reduction theory of λ-calculus. For β-reduction, this theorem asserts that if a λ-term M reduces to a λ-term N and N is in a normal form, then N is obtained from M by the leftmost reduction ([1, Theorem 13.2.