@article{aagaard-2024-unifying, title={Unifying cubical and multimodal type theory}, volume={20}, ISSN={1860-5974}, url={http://dx.doi.org/10.46298/lmcs-20(4:25)2024}, DOI={10.46298/lmcs-20(4:25)2024}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Aagaard, Frederik Lerbjerg and Kristensen, Magnus Baunsgaard and Gratzer, Daniel and Birkedal, Lars}, year={2024}, month=Dec, number = {4} }