@misc{indiciaec28ef4660ced,
  title = {Extending orders to types},
  author = {Lorenzo Luperi Baglini and Marcello Mamino and Rosario Mennuni and Mariaclara Ragosta and Boris Šobot},
  year = {2025},
  doi = {10.60866/cam.297},
  url = {https://arxiv.org/abs/2509.09623},
  note = {Source identifier: 2509.09623}
}