11 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
Ingo Blechschmidt
The purpose of this contribution is to give a coherent account of a particular narrative which links locales, geometric theories, sheaf semantics and constructive commutative algeb…