TY  - RPRT
TI  - Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
AU  - Mirco A. Mannucci
AU  - Corey Thuro
PY  - 2025
UR  - https://arxiv.org/abs/2512.06952
ID  - 2512.06952
ER  -