Carte Rare
Correspondance de Curry-Howard
isomorphisme entre les programmes informatiques et les preuves mathématiques
- Valeur
- 50 W
- Attaque
- 270
- Défense
- 216
- Joueurs
- 0
503 vues Wikipédia ces 30 derniers jours
La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité.
Obtiens Correspondance de Curry-Howard dans ta collection
Chaque carte de Wikilord est un article Wikipédia. Ouvre des paquets gratuitement, échange, combats et grimpe au classement.
Ouvrir un paquet gratuit