@misc{indiciaec3f1945132ee,
  title = {Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types},
  author = {Mirco A. Mannucci and Corey Thuro},
  year = {2026},
  url = {https://arxiv.org/abs/2601.10772},
  note = {Source identifier: 2601.10772}
}