45 citations · 45 across the 2 of their papers we have counts for
1 paper · 1 filter
Bas Spitters
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to…