Metric Boolean algebras and constructive measure theory

@article{Coquand2002MetricBA,
  title={Metric Boolean algebras and constructive measure theory},
  author={Thierry Coquand and Erik Palmgren},
  journal={Arch. Math. Log.},
  year={2002},
  volume={41},
  pages={687-704}
}

Topic