curry-howard

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

File Name	Size	Mode
README.md	112B	-rw-r--r--

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