Summary: This paper examines the synergism emerging from three historically distinctive traditions: theory of locales; programming semantics and topological systems; and point-set lattice-theoretic (poslat) topology, both fixed-basis and variable-basis. Many gaps are discovered and filled with new results; and open questions are posed.