Continuous Previsions

We define strong monads of continuous (lower, upper) previsions, and of forks, modeling both probabilistic and non-deterministic choice. This is an elegant alternative to recent proposals by Mislove, Tix, Keimel, and Plotkin. We show that our monads are sound and complete, in the sense that they model exactly the interaction between probabilistic and (demonic, angelic, chaotic) choice.

• Type: Conference
• Year: 2007
• Where: CSL
• Authors: Jean Goubault-Larrecq
• Keywords: CSL 2007, Elegant Alternative, Non-deterministic Choice, Strong Monads