TY  - RPRT
TI  - Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
AU  - Marcelo P. Fiore
AU  - Ohad Kammar
AU  - Georg Moser
AU  - Sam Staton
PY  - 2026
DO  - 10.46298/entics.16879
UR  - https://arxiv.org/abs/2511.03946
ID  - 2511.03946
ER  -