curry-howard
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
Branches
| Name | Last commit date | Author |
| master | Pablo |
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
| Name | Last commit date | Author |
| master | Pablo |