Higher Inductive Types as Homotopy-Initial Algebras.

Kristina Sojakova

Browse the full POPL paper archive.