@misc{indiciae420a51e8d9ba,
  title = {Towards the type safety of Pure Subtype Systems (Full version)},
  author = {Valentin Pasquale and Álvaro García-Pérez},
  year = {2025},
  doi = {10.4230/lipics.csl.2026.9},
  url = {https://arxiv.org/abs/2407.13882},
  note = {Source identifier: 2407.13882}
}