10
Quali sono le equivalenze più interessanti derivanti dall'isomorfismo di Curry-Howard?
Mi sono imbattuto nell'isomorfismo di Curry-Howard relativamente tardi nella mia vita di programmazione, e forse questo contribuisce a farmi essere completamente affascinato da esso. Implica che per ogni concetto di programmazione esista un preciso analogo nella logica formale, e viceversa. Ecco un elenco "di base" di tali analogie, in cima …