@misc{indiciae4b1bff41cde6,
  title = {Modular abstract syntax trees (MAST): substitution tensors with second-class sorts},
  author = {Marcelo P. Fiore and Ohad Kammar and Georg Moser and Sam Staton},
  year = {2026},
  doi = {10.46298/entics.16879},
  url = {https://arxiv.org/abs/2511.03946},
  note = {Source identifier: 2511.03946}
}