@misc{indiciae71b99fc7afa3,
  title = {Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities},
  author = {Mirco A. Mannucci and Corey Thuro},
  year = {2025},
  url = {https://arxiv.org/abs/2512.06952},
  note = {Source identifier: 2512.06952}
}