Integration Partial Function Calculus