Matthew de Brecht, Tatsuji Kawai. On the commutativity of the powerspace constructions. Logical Methods in Computer Science, 15(3), 2019. [doi]
@article{BrechtK19, title = {On the commutativity of the powerspace constructions}, author = {Matthew de Brecht and Tatsuji Kawai}, year = {2019}, url = {https://lmcs.episciences.org/5679}, researchr = {https://researchr.org/publication/BrechtK19}, cites = {0}, citedby = {0}, journal = {Logical Methods in Computer Science}, volume = {15}, number = {3}, }