lambda-calcul

Une définition du Jargon Français.

nom propre^→ masculin^→, racine grecque.  [mathématique]. Branche de la logique développée par Church, Alonzo à la fin des années 1930.

C'est un outil d'étude des fonctions. Les langages fonctionnels sont des extensions du lambda calcul (on y ajoute les constantes et les types).

S'écrit avec un lambda grec, normalement : λ-calcul.