Résumé
Cinquante ans presque jour pour jour après la diffusion de la note de Howard, le dernier cours de l’année a fait un rapide bilan de la correspondance de Curry-Howard et des nombreuses directions de recherche qu’elle a inspirées, tant en informatique qu’en logique. Il a ensuite laissé place à une discussion à partir des questions provenant des auditeurs, notamment plusieurs questions sur l’impact de cette correspondance sur la programmation fonctionnelle au quotidien : Curry-Howard fait-il de moi un meilleur programmeur ?
