CIS 670, HOMEWORK ASSIGNMENT 2
==============================

For the deBruijn presentation of System F presented in class...

1) Write out the proof of the weakening lemma in full.

2) Write out the proof of the substitution lemma in full.  (You will need to
   invoke several subsidiary lemmas; give just the statements of these, not
   full proofs.)