A Core Quantitative Coeffect Calculus

Brunel, Aloïs, Gaboardi, Marco, Mazza, Damiano, Zdancewic, Steve·2014·Lecture Notes in Computer Science
DOI 10.1007/978-3-642-54833-8_19