Outils pour utilisateurs

Outils du site


espace_doctorants:seminaire:l_isomorphisme_de_curry-howard

L'isomorphisme de Curry-Howard

Par Federico Olimpieri

L'isomorphisme de Curry-Howard indique que les preuves sont des programmes et que les propositions sont des types, c'est-à-dire des spécifications de programmes.

Cette correspondance apporte de nouvelles idées à la compréhension des deux notions de preuve mathématique et de calcul. En même temps, elle produit des applications remarquables dans les domaines de la logique et de l'informatique théorique.

espace_doctorants/seminaire/l_isomorphisme_de_curry-howard.txt · Dernière modification: 2018/02/22 16:17 par guillaume.geoffroy