EasyChair Smart Slide
On Higher Inductive Types in Cubical Type Theory
On Higher Inductive Types in Cubical Type Theory