Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos

Huijun Hou, Qingguo Li

Prior work [11] established a commutativity result for the Hoare power construction and a modified version of the Smyth power construction consisting of strongly compact sets, whic…