Hacker News new | ask | show | jobs
by Chinjut 3497 days ago
Yes, Bob Harper is aware of, and intentionally discussing precisely, this. (The "Curry-Howard-Lambek" correspondence, if you like)
1 comments
dvt 3497 days ago
He's a PhD in CS so I assumed he did :) I linked it for other people that may not know that it's a thing. The article itself is a bit hand-wavy.
link
aminorex 3496 days ago
Extremely so. Lacking so much as useful keywords for finding what he refers to as "standard sources".
link