Applied Category Theory Seminar
Weber 201Professor James Wilson will be giving a high-level survey of where we are going with Homotopy Type Theory this semester.
Professor James Wilson will be giving a high-level survey of where we are going with Homotopy Type Theory this semester.
This calendar is used exclusively for events or announcements sponsored by the Department of Mathematics, the College of Natural Sciences or Colorado State University.