curry-howard
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
Curry-Howard
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence on the S4 group.
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence on the S4 group.