Applied Category Theory Seminar
Weber TBDThe first third of the semester will be used to prepare for Professor Emily Rheil's colloquium talk on homotopy type theory on February 20 - we will be walking through type […]
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
