@inbook{vanderweide-2024-the, title={The Interval Domain in Homotopy Type Theory}, ISBN={9783031617164}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-61716-4_16}, DOI={10.1007/978-3-031-61716-4_16}, booktitle={Logics and Type Systems in Theory and Practice}, publisher={Springer Nature Switzerland}, author={van der Weide, Niels and Frumin, Dan}, year={2024}, pages={241–256} }