Spring 2016
Homotopy Type Theory
Listed in: Mathematics and Statistics, as MATH-390
Faculty
Michael C. Ching (Section 02)
Course times and locations
Offerings
Other years: Offered in Fall 2009, Fall 2010, Fall 2011, Fall 2012, Spring 2013, Fall 2013, Spring 2014, Fall 2014, Spring 2015, Fall 2015, Spring 2016, Fall 2016, Spring 2017, Fall 2017, Spring 2018, Fall 2018, Spring 2019, Fall 2019, Spring 2020, Spring 2021, Spring 2022,
Fall 2024