Learning Type Theory

Hey everyone! I'm looking for some literature on Type Theory in programming, as rust seems to be pretty type intensive I want a better understanding of it.

Beginner, intermediate, advanced - all welcome! Share your favorites & why they resonated with you.

I've already found something to read on Wikipedia, but it's pretty dry and maybe there are better resources out there, articles, books or teaching material? :)

Thanks!