Portail:Logique/Le saviez-vous?/Février
La correspondance de Curry-Howard établit le lien très fort qui existe entre calcul et démonstration. En particulier, toute démonstration peut-être vue comme un programme et vice et versa et tout type peut-être vu comme une proposition et vice et versa.