@article{gratzer-2026-normalization, title={Normalization for multimodal type theory}, volume={22}, ISSN={1860-5974}, url={http://dx.doi.org/10.46298/lmcs-22(1:27)2026}, DOI={10.46298/lmcs-22(1:27)2026}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Gratzer, Daniel}, year={2026}, month=Mar, number = {1} }