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.
Editor's suggested next (1)
No published topics currently cite Type Theory as a prerequisite. This may be a terminal topic in the graph, or other topics may not have declared the dependency yet.