Ask HN: Book to get started in Type Theory

I saw a a paper posted today called "The Derivative of a Regular Type is its Type of One-Hole Contexts". I cannot even start to read it, because of notation and total lack of background. There where also very interesting comments, but I can only understand half of it.

What would be a good book, article, video or site to get started with the topic?

Thanks.