What are the most interesting equivalences arising from the Curry-Howard Isomorphism?

Question

I came upon the Curry-Howard Isomorphism relatively late in my programming life, and perhaps this contributes to my being utterly fascinated by it. It implies that for every pro

Answer 1

function composition      | syllogism