Functional Programming, Programming, Programming Languages.
application expression is of form (f arg). To evaluate this expression, we have to first evaluate the expression in the left side. In the third expression, the left side is (λfunc.λarg.(func arg) λx.x) This expression itself is a function application. It’s left side doesn’t need more evaluation.