A calculus in differentiable spaces and its applications to loops