18 citations · 80 across the 12 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021★ 4 cited
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…
cs.PL2019★ 5 cited
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
We describe a type system with mixed linear and non-linear recursive types called LNL-FPC (the linear/non-linear fixpoint calculus). The type system supports linear typing, which e…
cs.PL2012★ 7 cited
Probabilistic Monads, Domains and Classical Information
Michael Mislove
Shannon's classical information theory uses probability theory to analyze channels as mechanisms for information flow. In this paper, we generalize results of Martin, Allwein and M…