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].