Kraus, N. (2016, July). Constructions with Non-Recursive Higher Inductive Types. Presented at LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York NY USA