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)

CMU Courses needs JavaScript to show sections, schedules and planning tools.