Seconding the type theory recommendation. The formal CS education I had contained almost nothing about this, so it was all independent studying from textbooks for me anyway.
Seconding the type theory recommendation. The formal CS education I had contained almost nothing about this, so it was all independent studying from textbooks for me anyway.