Rare card
Curry–Howard correspondence
- Value
- 50 W
- Attack
- 270
- Defence
- 216
- Players
- 0
In programming language theory and proof theory, the Curry–Howard correspondence is a direct relationship between computer programs and mathematical proofs.
Get Curry–Howard correspondence in your collection
Every Wikilord card is a Wikipedia article. Open packs for free, trade, battle and climb the leaderboard.
Open a free pack