80-518 Topics in Logic: Type Theory

9 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-514 (min C) or 80-413 (min C)

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