6 citations · 6 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Domain theory in univalent foundations I: Directed complete posets and Scott's
Tom de Jong
We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsk…
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…