http://www.cis.upenn.edu/~bcpierce/tapl/taplcover.jpg

* ''Types and Programming Languages'' by BenjaminPierce
* Publisher: The MIT Press (February 1, 2002)
* ISBN 978-0262162098, ISBN 0262162091
* ProgrammingBookAcronym: TAPL
* http://www.cis.upenn.edu/~bcpierce/tapl/

''Types and Programming Languages'' (ISBN:0262162091) by BenjaminPierce.  Quite simply the most comprehensive work on TypeTheory that currently exists today.  Highly technical, and likely a bit difficult for laymen to grasp, but covers the subject in great depth and breadth.  Contains lots of important introductory material, such as a thorough introduction to the LambdaCalculus.

http://www.cis.upenn.edu/~bcpierce/tapl/

Followed by ''AdvancedTopicsInTypesAndProgrammingLanguages''.
----
CategoryBook CategoryTypeTheory