Intermediate
Lambda Calculus Beta Reduction
Perform beta reduction steps on a specific lambda expression.
📝 Prompt Content
Given the lambda expression (λx.λy.x y) (λz.z), perform a full beta reduction to normal form. Document each step of the substitution process clearly and explain the order of evaluation used (e.g., normal order vs. applicative order).