Inductive Types in Homotopy Type Theory.

Steven Awodey, Nicola Gambino, Kristina Sojakova

Browse the full LICS paper archive.