Bounded linear types in a resource semiring

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 - 1 out of 1Page size: 10
Sort by: Start date

Research Projects

  1. A Higher Order approach to Codesign

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    17/06/13 → 16/12/16

    Project: Research Councils