The order-K-ification monads

Huijun Hou, Hualin Miao, Qingguo Li. The order-K-ification monads. Mathematical Structures in Computer Science, 34(1):45-62, 2024. [doi]

Authors

Huijun Hou

This author has not been identified. Look up 'Huijun Hou' in Google

Hualin Miao

This author has not been identified. Look up 'Hualin Miao' in Google

Qingguo Li

This author has not been identified. Look up 'Qingguo Li' in Google