Lambda Integration With Initial Condition Calculus