Applicative Order Reduction in the Lambda Calculus

Enter the λ-expression you want to reduce below:

((^p.^q.((p q) ^x.^y.y) ^x.^y.x) ^x.^y.y)