Hualin Miao

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Strictly Convex

Top Venues

Math. Struct. Comput. Sci.

Publications

Huijun Hou, Hualin Miao, Qingguo Li
The order-K-ification monads. Math. Struct. Comput. Sci. 34 (1) (2024)
Hualin Miao, Xiaoyong Xi, Qingguo Li, Dongsheng Zhao
Not every countable complete distributive lattice is sober. Math. Struct. Comput. Sci. 33 (9) (2023)
Hualin Miao, Qingguo Li, Dongsheng Zhao
One-step closure, weak one-step closure and meet continuity. ISDT (2022)