TY  - RPRT
TI  - Deriving Distributive Laws for Graded Linear Types
AU  - Jack Hughes
AU  - Michael Vollmer
AU  - Dominic Orchard
PY  - 2021
DO  - 10.4204/eptcs.353.6
UR  - https://arxiv.org/abs/2112.14966
ID  - 2112.14966
ER  -