TY  - RPRT
TI  - Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
AU  - Mirco A. Mannucci
AU  - Corey Thuro
PY  - 2026
UR  - https://arxiv.org/abs/2601.10772
ID  - 2601.10772
ER  -