Constructive domain theory as a branch of intuitionistic pointfree topology
scientific article; zbMATH DE number 984043