45 citations · 398 across the 36 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…