2005-06-09 Type Theory and Functional Programming functionals Simon Thompson ! 378p. http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/