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

2017-18: Offered in Fall 2017 and Spring 2018
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