80-818 Topics in Logic: Type Theory

12 units, Carnegie Mellon University

Seminar on type theory for graduate students and advanced undergraduates. Emphasis will be on categorical semantics of dependent type theory, including homotopy type theory.

Prerequisites: 80-814 (min B) or 80-713 (min B)

Courseweave needs JavaScript to show sections, workloads and planning tools.