Correspondance de Curry-howard
concept
isomorphisme entre les programmes informatiques et les preuves mathématiques
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Correspondance_de_Curry-Howard
Lien Wikidata : https://www.wikidata.org/wiki/Q975734