Consider the following λ expression:
expression
True or False? The first β-reduction in the evaluation of this expression is the same whether the applicative order strategy or the normal order strategy is used.
It is good practice to start by identifying all of the β-redexes in the given λ expression.
Recall that the applicative-order reduction strategy first reduces the leftmost innermost β-redex, while the normal-order reduction strategy first reduces the leftmost outermost β-redex.
By leftmost innermost β-redex, we mean the first (going from left to right) among all of the innermost β-redexes.
By leftmost outermost β-redex, we mean the first (going from left to right) among all of the outermost β-redexes.
hint5