A duality theory for convex oo-horizon programming