Cellular Methods in Homotopy Type Theory.

Axel Ljungstrm, Loc Pujet

Browse the full LICS paper archive.