The fixed point property in synthetic domain theory | IEEE Conference Publication | IEEE Xplore