20 citations · 30 across the 14 of their papers we have counts for
1 paper · 1 filter
Tatsuji Kawai
We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the…