On Higher Inductive Types in Cubical Type Theory.

Thierry Coquand, Simon Huber, Anders Mrtberg

Browse the full LICS paper archive.