Where this topic leads

Topics that build on Type Theory

Once you have Type Theory, these are the topics that cite it as a prerequisite. Pick by tier and the area you want to push into next.