Historians remind us that we cannot predict the future if we don't understand the past. And the past sometimes has new explanations, if we look for them. I want to show you a particular instance of the Curry Howard correspondence, based on the work of Kurt…