Domain theory and differential calculus (functions of one variable) | IEEE Conference Publication | IEEE Xplore