48 citations · 112 across the 21 of their papers we have counts for
5 papers · 1 filter
Infinitary Noetherian Constructions I. Infinite Words
Jean Goubault-Larrecq
We define and study Noetherian topologies for spaces of infinite sets, and infinite words. In each case, we also obtain S-representations, namely, computable presentations of the s…
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering
Jean Goubault-Larrecq, Simon Halfon, Prateek Karandikar +2
Elegant and general algorithms for handling upwards-closed and downwards-closed subsets of WQOs can be developed using the filter-based and ideal-based representation for these set…
Algebras of the extended probabilistic powerdomain monad
Jean Goubault-Larrecq, Xiaodong Jia
We investigate the Eilenberg-Moore algebras of the extended probabilistic powerdomain monad over the category of topological spaces and contin…
Fooling the Parallel Or Tester with Probability
Jean Goubault-Larrecq
It is well-known that the higher-order language PCF is not fully abstract: there is a program - the so-called parallel or tester, meant to test whether its input behaves as a paral…
Domain-complete and LCS-complete spaces
Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia +1
We study subspaces of continuous dcpos, which we call domain-complete spaces, and subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those in…