Advanced Theory draft (WIP)

Advanced Theory

Prerequisites

• Core Theory

Complexity Theory track

Resources

• Videos: Undergraduate Complexity Theory
• Syllabus for Undergraduate Complexity Theory
• Introduction to the Theory of Computation (Michael Sipser)
• Computational Complexity: A Modern Approach (Sanjeev Arora and Boaz Barak)

Needed by

• Complexity Theory Domain

Type Theory track

Resources

• Practical Foundations for Programming Languages (Robert Harper)
• Videos: "Programming Languages Background"
• Programming in Martin-Löf's Type Theory (Bengt Nordström, Kent Petersson, and Jan M. Smith)
• Videos: "Type theory foundations"

Needed by

• Type Theory Domain