48 citations · 112 across the 21 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
math.GN2021★ 1 cited
Statures and Sobrification Ranks of Noetherian Spaces
Jean Goubault-Larrecq, Bastien Laboureix
There is a rich theory of maximal order types of well-partial-orders (wpos), pioneered by de Jongh and Parikh (1977) and Schmidt (1981). Every wpo is Noetherian in its Alexandroff…
cs.LO2021
Separating minimal valuations, point-continuous valuations and continuous valuations
Jean Goubault-Larrecq, Xiaodong Jia
We give two concrete examples of continuous valuations on dcpo's to separate minimal valuations, point-continuous valuations and continuous valuations: (1) Let be the…
cs.LO2021★ 6 cited
A Domain-Theoretic Approach to Statistical Programming Languages
Jean Goubault-Larrecq, Xiaodong Jia, Clément Théron
We give a domain-theoretic semantics to a statistical programming language, using the plain old category of dcpos, in contrast to some more sophisticated recent proposals. Remarkab…