I haven't read this book, but Pierce's "Types and Programming Languages" is an absolutely fantastic introduction to type theory and programming language semanti

I haven't read this book, but Pierce's "Types and Programming Languages" is an absolutely fantastic introduction to type theory and programming language semantics. The presentation of the book is also very innovative. The chapters are fairly short and to the point. There are chapters which discuss theory, then chapters which implement that theory in code.