This section is important, because we’ll learn how are applications performed on given lambda expressions. Information TL;DR, to apply a lambda term in a lambda expression, we use a series of reductions. These reductions come from corresponding equivalence relations. A reduction is just another way of replacing the lambda expression with a corresponding equivalent expression. Equivalence When considering equivalence of two expressions, they can be equivalent in four ways $\alpha$-equivalenc...
