Search

• < Previous
• 1
• Next >

QRB-Domains and the Probabilistic Powerdomain

Is there any Cartesian-closed category of continuous domains that would be closed under Jones and Plotkin's probabilistic powerdomain construction? This is a major open problem in the area of denotational semantics of probabilistic higher-order languages. We relax the question, and look for&nbsp;[&hellip;]