Lambda Calculus - Equivalences & Reductions

This section is important, because we&rsquo;ll learn how are applications performed on given lambda expressions. Info 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…