Huijun Hou, Hualin Miao, Qingguo Li. The order-K-ification monads. Mathematical Structures in Computer Science, 34(1):45-62, 2024. [doi]
@article{HouML24,
title = {The order-K-ification monads},
author = {Huijun Hou and Hualin Miao and Qingguo Li},
year = {2024},
doi = {10.1017/s0960129523000403},
url = {https://doi.org/10.1017/s0960129523000403},
researchr = {https://researchr.org/publication/HouML24},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {34},
number = {1},
pages = {45-62},
}