@misc{indiciaec2eb42ce4255,
  title = {Multi types and reasonable space},
  author = {Beniamino Accattoli and Ugo Dal Lago and Gabriele Vanoni},
  year = {2026},
  doi = {10.46298/jfp.17809},
  url = {https://arxiv.org/abs/2207.08795},
  note = {Source identifier: 2207.08795}
}