Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Finite-valuation approximable structures: a solution to the Jung--Tix problem of probabilistic powerdomains
Yuxu Chen, Hui Kou, Zhenchao Lyu
We introduce the category of finite-valuation approximable domains, a full subcategory of continuous domains contained in the category of pointed countably based FS-do…
cs.LO2023
Free dcpo-algebras via directed spaces
Yuxu Chen, Hui Kou, Zhenchao Lyu
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. We will show that the D-completion of free algebras over a Scott…