TY - RPRT TI - Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic AU - Patrick Fraser PY - 2020 UR - https://arxiv.org/abs/2006.16350 ID - 2006.16350 ER -