20 citations · 30 across the 14 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018
Presenting de Groot duality of stably compact spaces
Tatsuji Kawai
We give a constructive account of the de Groot duality of stably compact spaces in the setting of strong proximity lattice, a point-free representation of a stably compact space. T…
cs.LO2018★ 2 cited
The principle of pointfree continuity
Tatsuji Kawai, Giovanni Sambin
In the setting of constructive pointfree topology, we introduce a notion of continuous operation between pointfree topologies and the corresponding principle of pointfree continuit…