@inproceedings{vanderweide-2020-constructing, series={LICS ’20}, title={Constructing Higher Inductive Types as Groupoid Quotients}, url={http://dx.doi.org/10.1145/3373718.3394803}, DOI={10.1145/3373718.3394803}, booktitle={Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher={ACM}, author={van der Weide, Niels}, year={2020}, month=July, pages={929–943}, collection={LICS ’20} }