>>191
１ヶ月でできるお勧めカリキュラム

1週目 λ計算。とりあえずD∞ modelあたりまでやる
2週目 型理論。ざざっとSystem Fまでやる
3週目 圏論。1，2週目の理解をもとにCCC modelまで。
4週目 記号論理学。LKLJNKNJの規則をながめる。

この後は興味に応じて論文を読み漁ればok