A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is
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 quasi-continuous dcpos instead. We introduce a natural class of such quasi-continuous dcpos, the QRB-domains. We show that they form a category QRB with pleasing properties: QRB is closed under thedoi:10.1109/lics.2010.50 dblp:conf/lics/Goubault-Larrecq10 fatcat:xplyvmen5jhrbie7gkm2kjyr4m