lambda calcul

np. m.

[mathématique] Branche de la logique développée par Church, Alonzo à la fin des années 1930. Le problème est d'étudier les fonctions lorsqu'elles sont appliquées à leurs propres arguments. Les langage fonctionnels sont des extensions du lambda calcul (on y ajoute les constantes et les types).

S'écrit avec un lambda grec, normalement.