6 citations · 16 across the 11 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021★ 6 cited
Sharp Elements and Apartness in Domains
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…
cs.LO2021★ 5 cited
On Small Types in Univalent Foundations
Tom de Jong, Martín Hötzel Escardó
We investigate predicative aspects of constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resi…
math.LO2021★ 1 cited
Apartness, sharp elements, and the Scott topology of domains
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…