TY - RPRT TI - On the commutativity of the powerspace constructions AU - Matthew de Brecht AU - Tatsuji Kawai PY - 2019 DO - 10.23638/lmcs-15(3:13)2019 UR - https://arxiv.org/abs/1709.06226 ID - 1709.06226 ER -