Complete cuboidal sets in axiomatic domain theory | IEEE Conference Publication | IEEE Xplore