Carta Rara
Correspondencia de Curry-Howard
- Valor
- 50 W
- Ataque
- 270
- Defensa
- 216
- Jugadores
- 0
En teoría de la demostración y teoría de lenguajes de programación, la correspondencia de Curry-Howard (también llamada isomorfismo de Curry-Howard) es la relación directa que guardan las demostraciones matemáticas con los programas de ordenador.
Consigue Correspondencia de Curry-Howard en tu colección
Cada carta de Wikilord es un artículo de Wikipedia. Abre sobres gratis, intercambia, combate y sube en la clasificación.
Abrir un sobre gratis