Type Theory And Functional Programming

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