6 citations · 6 across the 1 of their papers we have counts for
1 paper
Tom de Jong
Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of s…