@第{zbMATH07093560条，作者={de Brecht，Matthew and Kawai，Tatsuji}，Title={关于幂空间结构的交换性}，FJournal={计算机科学中的逻辑方法}，Journal＝｛Log.Methods Comput.Sci.｝，ISSN={1860-5974}，体积={15}，数字={3}，页码={25}，注={Id/No 13}，年份={2019}，语言={英语}，关键词={06D22,03E15,06B35,54H05}，zbMATH={7093560}，Zbl={1528.06017}}