Homotopy Type Theory
CMU local activities (history)

September 18, 2020

September 25, 2018

June 10, 2018

February 29, 2016