48 citations · 112 across the 21 of their papers we have counts for
27 papers
Isomorphism Theorems between Models of Mixed Choice (Revised)
Jean Goubault-Larrecq
We relate the so-called powercone models of mixed non-deterministic and probabilistic choice proposed by Tix, Keimel, Plotkin, Mislove, Ouaknine, Worrell, Morgan, and McIver, to ou…
A Radon-Nikodým Theorem for Valuations
Jean Goubault-Larrecq
We enquire under which conditions, given two -finite, -continuous valuations and , has density with respect to . The answer is that has to be absolutely con…
On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces
Jean Goubault-Larrecq
We show that the locally strongly sober spaces are exactly the coherent sober spaces that are weakly Hausdorff in the sense of Keimel and Lawson. This allows us to describe their S…
Continuous R-valuations
Jean Goubault-Larrecq, Xiaodong Jia
We introduce continuous -valuations on directed-complete posets (dcpos, for short), as a generalization of continuous valuations in domain theory, by extending values of continu…
A cone-theoretic barycenter existence theorem
Jean Goubault-Larrecq, Xiaodong Jia
We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone has a barycenter. This barycenter is unique, and the bary…
Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology
Jean Goubault-Larrecq, Simon Halfon, Aliaume Lopez
We show that the spaces of transfinite words, namely ordinal-indexed words, over a Noetherian space, is also Noetherian, under a natural topology which we call the regular subword…