de Jong, Tom, "Apartness, sharp elements, and the Scott topology of domains", Mathematical Structures in Computer Science, 2023