3 of 3 people found the following review helpful
A very useful book for those wanting to understand type theory,
This review is from: Types and Programming Languages (Hardcover)
I have owned a copy of this book and its companion, Advanced Topics in Types and Programming Languages, for about four or five years.
This book, Types and Programming Languages, starts by explaining the untyped lambda calculus and builds up from there. I believe that anyone with an interest and a degree level education would find the subject matter easy to follow.
This book has been really useful in helping me to learn type theory. While internet sources (e.g., Wikipedia) can provide a flavour of the topic, a well structured book makes the topic much easier to understand. Having read & understood this book I can now understand the more advanced topics that can be found on specialist websites.