@misc{indiciaed5846f8e69d5,
  title = {Integrals and Valuations},
  author = {Thierry Coquand and Bas Spitters},
  year = {2009},
  doi = {10.4115/jla.2009.1.3},
  url = {https://arxiv.org/abs/0808.1522},
  note = {Source identifier: 0808.1522}
}