# Selected publications at LSV

Gou10
ωQRB-Domains and the Probabilistic PowerdomainIn Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS'10), Edinburgh, Scotland, UK, July 2010, pages 352-361. IEEE Computer Society Press. ( PDF )
Abstract:
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 the probabilistic powerdomain functor, has all finite products, all bilimits, and is stable under retracts, and even under so-called quasiretracts. But... ωQRB is not cartesian closed.

 @inproceedings{JGL-lics10, address = {Edinburgh, Scotland, UK}, author = {Goubault{-}Larrecq, Jean}, booktitle = {{P}roceedings of the 25th {A}nnual {IEEE} {S}ymposium on {L}ogic in {C}omputer {S}cience ({LICS}'10)}, DOI = {10.1109/LICS.2010.50}, month = jul, pages = {352-361}, publisher = {{IEEE} Computer Society Press}, title = {{{$$\omega$$}}{\textbf{\MakeUppercase{QRB}}}-Domains and the Probabilistic Powerdomain}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/JGL-lics10.pdf}, year = {2010}, }