Comment by TrevorFancher

I've been interested in type theory for a while, but haven't found a good avenue for getting into it.

Could people here list any resources on type theory that comes to there mind? Books, blogs, people, etc. A book that explains the fundamentals would be great.