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]

Abstract

Abstract is missing.