TY  - RPRT
TI  - Mixed powerdomains for probability and nondeterminism
AU  - Klaus Keimel
AU  - Gordon D. Plotkin
PY  - 2017
DO  - 10.23638/lmcs-13(1:2)2017
UR  - https://arxiv.org/abs/1612.01005
ID  - 1612.01005
ER  -