curry-howard

Slides of a (very) informal lecture of mine on the Curry-Howard correspondence