TY - RPRT TI - A substitution lemma for multiple context-free languages AU - Andrew Duncan AU - Murray Elder AU - Lisa Frenkel AU - Mengfan Lyu PY - 2026 UR - https://arxiv.org/abs/2509.02117 ID - 2509.02117 ER -