curry-howard
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
File Name | Size | Mode |
gen-hacker.py | 197B | -rw-r--r-- |
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
File Name | Size | Mode |
gen-hacker.py | 197B | -rw-r--r-- |