Bounded Linear Types in a Resource Semiring

Ghica, Dan R., Smith, Alex I.·2014·Lecture Notes in Computer Science
DOI 10.1007/978-3-642-54833-8_18