Path Spaces of Higher Inductive Types in Homotopy Type Theory.

Nicolai Kraus, Jakob von Raumer

Browse the full LICS paper archive.