Skip to main content
2 of 2
fixed link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651

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