I really enjoyed this one too!
Quote Tweet
Are you interested in types and programming language, but find the existing books and literature difficult and intimidating?
This book will explain get you up-to-speed on terminology and notation so that you can tackle the rest of the field
amazon.com/Type-Theory-Fo