Thierry Coquand, Bas Spitters. Integrals and valuations. J. Logic & Analysis, 1, 2009. [doi]
@article{CoquandS09,
title = {Integrals and valuations},
author = {Thierry Coquand and Bas Spitters},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/14/12},
researchr = {https://researchr.org/publication/CoquandS09},
cites = {0},
citedby = {0},
journal = {J. Logic & Analysis},
volume = {1},
}