@misc{indiciaeba5273341d7f,
  title = {A Graded Modal Dependent Type Theory with Erasure, Formalized},
  author = {Andreas Abel and Nils Anders Danielsson and Oskar Eriksson},
  year = {2026},
  url = {https://arxiv.org/abs/2603.29716},
  note = {Source identifier: 2603.29716}
}