20 citations · 30 across the 14 of their papers we have counts for
4 papers · 1 filter
Reflexive combinatory algebras
Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai
We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which in…
Predicative theories of continuous lattices
Tatsuji Kawai
We introduce a notion of strong proximity join-semilattice, a predicative notion of continuous lattice which arises as the Karoubi envelop of the category of algebraic lattices. St…
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…
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…