- 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