Lambda-calcul
Ère : Théorie précoce · 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 : Article
L’article de Church de 1936 présente la lambda-définissabilité et l’indécidabilité.
Publié : ·Consulté :