Further reading

As further reading I recommend  [CW85] and  [Pierce93]. Additional papers on the lambda calculus approach may be found at {\tt ftp.dcs.ed.ac.uk:pub/bcp}. See appendix internet. This collection includes a paper containing exercises and solutions, employing a tool fomega. As another source of material and exercises consult  [Palsberg94].