Hou, Huijun; Miao, Hualin; Li, Qingguo The order-K-ification monads. (English) Zbl 07813374 Math. Struct. Comput. Sci. 34, No. 1, 45-62 (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Xu, Xiaoquan; Wen, Xinpeng; Xi, Xiaoyong Scott topology on Smyth power posets. (English) Zbl 07813370 Math. Struct. Comput. Sci. 33, No. 9, 832-867 (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Shen, Chong; Xi, Xiaoyong; Xu, Xiaoquan; Zhao, Dongsheng Hofmann-Mislove type definitions of non-Hausdorff spaces. (English) Zbl 1526.54007 Math. Struct. Comput. Sci. 32, No. 1, 111-124 (2022). Reviewer: Meng Bao (Zhangzhou) MSC: 54D99 54B30 06B35 × Cite Format Result Cite Review PDF Full Text: DOI
Shulman, Michael Brouwer’s fixed-point theorem in real-cohesive homotopy type theory. (English) Zbl 1390.03014 Math. Struct. Comput. Sci. 28, No. 6, 856-941 (2018). Reviewer: Ittay Weiss (Portsmouth) MSC: 03B15 03G30 55U40 55M20 03B60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Backlinks: MO