Prerequisite chain

Prerequisites for Type Theory

Topics you need before working through Type Theory. Direct prerequisites are listed first; transitive prerequisites (the chain reachable through them) follow.