%0 Journal Article
%T Integrals and valuations
%A Thierry Coquand
%A Bas Spitters
%J Journal of Logic and Analysis
%D 2009
%I Journal of Logic and Analysis
%R 10.4115/jla.v1i0.14
%U http://www.logicandanalysis.org/index.php/jla/article/view/14