Resource Lambda-Calculus: the Differential Viewpoint