1 paper · 1 filter
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…