- Types and Programming Languages - Benjamin Pierce
Seems like sort of the "standard" book for type theory. but looks big and maybe math-y
- Dragon book (lots of complaints about it, but would be sort of cool to have read)
Seems like sort of the "standard" book for type theory. but looks big and maybe math-y