Homotopy Type Theory
Univalent categories and the Rezk completion (history)

January 19, 2019

October 11, 2018