Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Thierry Coquand and Bas Spitters have several papers on this topic, see Integrals and Valuations, and Constructive Measure TheoryMetric Boolean Algebras and Constructive Measure Theory.
Thierry Coquand and Bas Spitters have several papers on this topic, see Integrals and Valuations, and Constructive Measure Theory.
Thierry Coquand and Bas Spitters have several papers on this topic, see Integrals and Valuations, and Metric Boolean Algebras and Constructive Measure Theory.
