18 citations · 80 across the 12 of their papers we have counts for
5 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…
Quantum CPOs
Andre Kornell, Bert Lindenhovius, Michael Mislove
We introduce the monoidal closed category qCPO of quantum cpos, whose objects are "quantized" analogs of omega-complete partial orders (cpos). The category qCPO is enriched over th…
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…
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…
A category of quantum posets
Andre Kornell, Bert Lindenhovius, Michael Mislove
We investigate a category of quantum posets that generalizes the category of posets and monotone functions. Up to equivalence, its objects are hereditarily atomic von Neumann algeb…