We introduce a domain-theoretic framework for differential calculus. We define the set of primitive maps as well as the derivative of an interval-valued Scott continuous function on the domain of intervals, and show that they are dually related, providing an extension of the classical duality of differentiation and integration as in the fundamental theorem of calculus. It is shown that, for loc...
