Homotopy Type Theory
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory (history)

February 14, 2019

October 17, 2018