型理論を理解するためのロードマップ

基本的には少しずつオーバーラップしているはず。
「論理と計算のしくみ」はぜひ読んでほしいです。この本に論理の説明もあるので、先にこれを買って、わからなければさかのぼる感じでいいかも。

論理学に入門する

論理学をもすこし勉強する

計算とつなげる

プログラミング言語を学ぶ

壁にたちむかう
これは、「プログラミング言語の基礎概念」で ものたりないって思ったときだけ手を出すくらいでいいです。