@misc{indiciae87807a64f777,
  title = {Unifying cubical and multimodal type theory},
  author = {Frederik Lerbjerg Aagaard and Magnus Baunsgaard Kristensen and Daniel Gratzer and Lars Birkedal},
  year = {2024},
  doi = {10.46298/lmcs-20(4:25)2024},
  url = {https://arxiv.org/abs/2203.13000},
  note = {Source identifier: 2203.13000}
}