TY  - RPRT
TI  - A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
AU  - Joris Ceulemans
AU  - Andreas Nuyts
AU  - Dominique Devriese
PY  - 2024
UR  - https://arxiv.org/abs/2406.13622
ID  - 2406.13622
ER  -