The step from probability measure to integral gets a universal property with the aid of ω-complete effect algebras and ω-complete effect modules.
| doi | 10.1016/j.entcs.2015.12.015 |
|---|---|
| with | Bart Jacobs |
The step from probability measure to integral gets a universal property with the aid of ω-complete effect algebras and ω-complete effect modules.