Thierry Coquand and Bas Spitters have several papers on this topic, see Integrals and Valuations, and Metric Boolean Algebras and Constructive Measure Theory.
Carlo Beenakker
- 188.1k
- 18
- 448
- 651