@misc{indiciae7bb348fb7ed0,
  title = {A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report},
  author = {Joris Ceulemans and Andreas Nuyts and Dominique Devriese},
  year = {2024},
  url = {https://arxiv.org/abs/2406.13622},
  note = {Source identifier: 2406.13622}
}