Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard - Koletsos, Georgios; Κολέτσος, Γεώργιος (2016)