''Type Theory and Functional Programming'' by SimonThompson.  Now OutOfPrint and available online at 
http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/

----

CategoryTypeTheory CategoryBook CategoryOnlineBook CategoryFunctionalProgramming