Hualin Miao

According to our database, Hualin Miao authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

The order-K-ification monads.

Huijun Hou, Hualin Miao, Qingguo Li

Math. Struct. Comput. Sci., 2024

The category of well-filtered dcpos is not Γ-faithful.

Hualin Miao, Huijun Hou, Xiaodong Jia, Qingguo Li

CoRR, 2024

2023

Not every countable complete distributive lattice is sober.

Hualin Miao, Xiaoyong Xi, Qingguo Li, Dongsheng Zhao

Math. Struct. Comput. Sci., 2023

2022

One-step closure, weak one-step closure and meet continuity.

Hualin Miao, Qingguo Li, Dongsheng Zhao

Proceedings of the 9th International Symposium on Domain Theory and Its Applications, 2022