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.
Events
Loading view.
This calendar is used exclusively for events or announcements sponsored by the Department of Mathematics, the College of Natural Sciences or Colorado State University.
© Colorado State University - College of Natural Sciences, Fort Collins, CO 80523
