Abstract
Fifty years almost to the day after Howard's note was circulated, the last lecture of the year took a quick look at the Curry-Howard correspondence and the many research directions it has inspired, in both computer science and logic. It then gave way to a discussion based on questions from the public, including several on the impact of this correspondence on everyday functional programming : Does Curry-Howard make me a better programmer ?
