18 citations · 47 across the 12 of their papers we have counts for
6 papers · 1 filter
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…
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…