Homotopy Type Theory
semi-simplicial types (history)

February 12, 2017

June 17, 2015

March 6, 2014