Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology. - Giovanni Sambin; Silvio Valentini; Paolo Virgili (Theor. Comput. Sci., 1996)