Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
1 # Curry-Howard 2 3 Slides of a (very) informal lecture of mine on the Curry-Howard correspondence 4 on the S4 group.