correspondance de Curry-Howard
concept isomorphisme entre les programmes informatiques et les preuves mathématiques
Aussi : Correspondance preuve/programme, Isomorphisme de Curry-Howard, Correspondance preuve-programme, Curry-Howard
Nature : isomorphisme, concept mathématique
Catégories : concepts mathématiques · sciences · concepts abstraits
Mots du lexique : correspondance nom commun, Curry nom propre, Howard nom propre