A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
In 12] it is shown that the probabilistic powerdomain of a continuous domain is again continuous. The category of continuous domains, however, is not cartesian closed, and one has to look at subcategories such as RB, the retracts of bi nite domains. 8] o ers a proof that the probabilistic powerdomain construction can be restricted to RB. In this paper, we g i v e a c o u n terexample to Graham's proof and describe our own attempts at proving a closure result for the probabilistic powerdomaindoi:10.1016/s1571-0661(05)80216-6 fatcat:fdmae4p3cneldf6g4h73radoqi