Coslice Colimits in Homotopy Type Theory.

Perry Hart, Kuen-Bang Hou (Favonia)

Browse the full CSL paper archive.