2 papers
math.CT2022
Free algebras over directed spaces
Yuxu Chen, Hui Kou
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structure…
math.GN2022
Power structures of directed spaces
Xiaolin Xie, Yuxu Chen, Hui Kou
Powerdomains in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages.\ In this paper,\ we extend the notion of power…