TY - RPRT TI - Finite-valuation approximable structures: a solution to the Jung--Tix problem of probabilistic powerdomains AU - Yuxu Chen AU - Hui Kou AU - Zhenchao Lyu PY - 2026 UR - https://arxiv.org/abs/2608.03073 ID - 2608.03073 ER -