@article{kolomatskaia-2025-displayed, title={Displayed type theory and semi-simplicial types}, volume={35}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s096012952510025x}, DOI={10.1017/s096012952510025x}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Kolomatskaia, Astra and Shulman, Michael}, year={2025} }