Due: 11/01 2PM (or email before class)
This homework is weighted less than usual.
Problem 1
Consider the λ-expression, ((λx.(λy.(x y)))((λz.(g z)) y)).
- Reduce the expression to normal form (or show that a normal form
does not exist), using normal order. Make sure to show all steps and
label each step with the reduction you are applying.
- Repeat for applicative order.
Problem 2
Repeat problem 1 for the λ-expression, ((λy.z) ((λz. (z z z)) (λz. (z z
z))))
Problem 3:
Explain how the Church-Rosser theorem applies to the above problems.
Hints / Clarifications / Corrections
- I normally like to do lambda calculus problems by copying lines
in emacs (or another editor) and editing for the appropriate reduction.