48 citations · 112 across the 21 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018
A Probabilistic and Non-Deterministic Call-by-Push-Value Language
Jean Goubault-Larrecq
There is no known way of giving a domain-theoretic semantics to higher-order probabilistic languages, in such a way that the involved domains are continuous or quasi-continuous - t…
math.GN2018
Convergence without points
Jean Goubault-Larrecq, Frédéric Mynard
We introduce a pointfree theory of convergence on lattices and coframes. A convergence lattice is a lattice with a monotonic map from the lattice of filters on to…
math.PR2018★ 2 cited
Products and Projective Limits of Continuous Valuations on Spaces
Jean Goubault-Larrecq
We show analogues of the Daniell-Kolmogorov and Prohorov theorems on the existence of projective limits of measures, in the setting of continuous valuations on topological sp…