2 papers
cs.LO2026
Monad Structures on Topological Spaces Comprising Mislove's Random Variables
Chengyu Zhou, Qingguo Li
Mislove, Goubault and Varacca investigated how to define random variables in Domain theory to form monads over the category of bounded complete domains. They intended to model prob…
cs.LO2025
Some Consistent Power Constructions
Chengyu Zhou, Qingguo Li
Consistent Hoare, Smyth and Plotkin power domains are introduced and discussed by Yuan and Kou. The consistent algebraic operation defined by them is a binary partial Scott con…