A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism.

Annabelle McIver, Larissa Meinicke, Carroll Morgan

Browse the full LICS paper archive.