Bounded linear types in a resource semiring

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Research Projects

  1. A Higher Order approach to Codesign

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    17/06/1316/12/16

    Project: Research Councils