Differentiation Theory over Infinite-Dimensional Banach Spaces