Filters








2 Hits in 2.1 sec

omega-QRB-Domains and the Probabilistic Powerdomain

Jean Goubault-Larrecq
2010 2010 25th Annual IEEE Symposium on Logic in Computer Science  
We show that they form a category QRB with pleasing properties: QRB is closed under the probabilistic powerdomain functor, has all finite products, all bilimits, and is stable under retracts, and even  ...  Is there any cartesian-closed category of continuous domains that would be closed under Jones and Plotkin's probabilistic powerdomain construction?  ...  The core of the paper is Section 6, where we show that the category QRB of countably based QRB-domains is closed under the probabilistic powerdomain construction.  ... 
doi:10.1109/lics.2010.50 dblp:conf/lics/Goubault-Larrecq10 fatcat:xplyvmen5jhrbie7gkm2kjyr4m

QRB-Domains and the Probabilistic Powerdomain

Jean Goubault-Larrecq, Martín Escardó
2012 Logical Methods in Computer Science  
We show that they form a category omega-QRB with pleasing properties: omega-QRB is closed under the probabilistic powerdomain functor, under finite products, under taking bilimits of expanding sequences  ...  We introduce a natural class of such quasi-continuous dcpos, the omega-QRB-domains.  ...  Plotkin for discussions, the anonymous referees at LICS'2010, and the anonymous referees of this paper, who offered counterexamples to conjectures, and numerous simplifications and improvements in almost  ... 
doi:10.2168/lmcs-8(1:14)2012 fatcat:df7czzs24bhhzorqtckcavyxmu