3 ms·

Yes, Bob Harper is aware of, and intentionally discussing precisely, this. (The "Curry-Howard-Lambek" correspondence, if you like)

• dvt 10y 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.
  • aminorex 10y ago
    Extremely so. Lacking so much as useful keywords for finding what he refers to as "standard sources".