Spring 2016

Homotopy Type Theory

Listed in: Mathematics and Statistics, as MATH-390

Moodle site: Section 02 (Guest Accessible)

Faculty

Michael C. Ching (Section 02)

Offerings

2018-19: Offered in Fall 2018 and Spring 2019
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