Curry-Howard isomorphism Synonyms