TypesAndProgrammingLanguages

• 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