36 citations · 143 across the 40 of their papers we have counts for
1 paper · 2 filters
Thierry Coquand, Bas Spitters
We construct a homeomorphism between the compact regular locale of integrals on a Riesz space and the locale of (valuations) on its spectrum. In fact, we construct two geometric th…