Type Theory and Functional Programming

Simon Thompson

ISBN 0-201-41667-0, Addison-Wesley, 1991.

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.