Integration of correspondences