Suggested Homework #4 (for Quiz #4 on 02/05/08)

Write the typing derivation (along with the typing rules) to prove each of the following (in the style we used in class):