Text this: Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard