Lambda-calcul
Ère : Théorie Primitive · années 1930–années 1950
Alonzo Church a proposé le lambda-calcul, un système formel pour la définition et l’application de fonctions. Le lambda-calcul est considéré comme le fondement théorique de la programmation fonctionnelle et l’un des premiers systèmes de types.
Alonzo Church (1903–1995)
Sources et éléments étayés
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics · Type de source : paper
Church’s 1936 paper presents lambda-definability and undecidability.
Publié : ·Consulté :