Carte Super rare

Lambda-calcul

système formel de la logique mathématique

Valeur

200 W

Attaque

300

Défense

240

Joueurs

0

1 009 vues Wikipédia ces 30 derniers jours

Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930. Ce système fonde les concepts de fonction et d'application qui forment un cadre pour manipuler des expressions appelées λ-expressions. La lettre grecque λ est utilisée pour lier une variable.