Advanced Theory draft (WIP)

Jump to bottom Edit New page

hanjiexi edited this page Dec 19, 2018 · 6 revisions

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