@article{lumsdaine-2019-semantics, title={Semantics of higher inductive types}, volume={169}, ISSN={1469-8064}, url={http://dx.doi.org/10.1017/s030500411900015x}, DOI={10.1017/s030500411900015x}, number={1}, journal={Mathematical Proceedings of the Cambridge Philosophical Society}, publisher={Cambridge University Press (CUP)}, author={LUMSDAINE, PETER LEFANU and SHULMAN, MICHAEL}, year={2019}, month=June, pages={159–208} }