Gentzen-Mints-Zucker Duality