Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities. - Mirco A. Mannucci; Corey Thuro (CoRR, 2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types. - Mirco A. Mannucci; Corey Thuro (CoRR, 2026)