18 citations · 47 across the 12 of their papers we have counts for
15 papers
Forbidden substructures for coherence of domains
Rongqi Xiao, Xiaodong Jia
A coherent domain, in the sense of Dana Scott's domain theory, is a domain in which the intersection of every two compact saturated subsets is again compact, when the domain is equ…
Coherence of Smyth powerspaces
Rongqi Xiao, Xiaodong Jia
In this paper, we study when the Smyth powerspace of a topological space is coherent, and prove that is coherent and weakly Hausdorff if and only if $\…
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…
The Central Valuations Monad
Xiaodong Jia, Michael Mislove, Vladimir Zamdzhiev
We give a commutative valuations monad Z on the category DCPO of dcpo's and Scott-continuous functions. Compared to the commutative valuations monads given in [Jia et al., 2021], o…
Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth
Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili +1
Floyd and Knuth investigated in 1990 register machines which can add, subtract and compare integers as primitive operations. They asked whether their current bound on the number of…
A Derivative-based Parser Generator for Visibly Pushdown Grammars
Xiaodong Jia, Ashish Kumar, Gang Tan
In this paper, we present a derivative-based, functional recognizer and parser generator for visibly pushdown grammars. The generated parser accepts ambiguous grammars and produces…
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…
Semantics for Variational Quantum Programming
Xiaodong Jia, Andre Kornell, Bert Lindenhovius +2
We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is…
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…
Commutative Monads for Probabilistic Programming Languages
Xiaodong Jia, Bert Lindenhovius, Michael Mislove +1
A long-standing open problem in the semantics of programming languages supporting probabilistic choice is to find a commutative monad for probability on the category DCPO. In this…
Completing Simple Valuations in K-categories
Xiaodong Jia, Michael Mislove
We prove that Keimel and Lawson's K-completion Kc of the simple valuation monad Vs defines a monad Kc o Vs on each K-category A. We also characterize the Eilenberg-Moore algebras o…
Core-compactness of Smyth powerspaces
Zhenchao Lyu, Xiaodong Jia
We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powe…
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…
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…