Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities - Mirco A. Mannucci, Corey Thuro

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities - Mirco A. Mannucci, Corey Thuro | Arena