Prove the multi-step preservation lemma for the simply-typed lambda calculus. See exercise 7.4.10 in Pierce (page 80) for the formulation of the lemma.You can assume the substitution lemma, 7.4.8 in Pierce (same page), as given.
Last update: Thursday, March 2nd, 2000mflatt@cs.utah.edu