Year: 2026
Type: preprint
Abstract: The Jung-Tix problem concerns the compatibility of probabilistic powerdomains with Cartesian closed categories of domains. We prove that both the subprobability and probability valuation powerdomains of every pointed FS-domain are FS-domains.
Source: arXiv (Cornell University)
Authors: Xi, Xiaoyong, Shen, Chong, Zhao, Dongsheng
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7222995193