Type Theory and Functional Programming
Simon Thompson
ISBN 0-201-41667-0, Addison-Wesley, 1991.
This is now out of print. I had hoped to prepare a revised version before
making it available online,
but sadly this hasn't happened.
So, you can get the original
version, warts and all, from CafePress or
free from here. Any errata will be gratefully received and added to the list
below.