lambda-calcul

Une définition du Jargon Français.
(Redirigé depuis lambda calcul)
Aller à : Navigation, rechercher

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 mathématiques, devenu une approche de la programmation puisque les langages fonctionnels en sont des extensions (ils peuvent y ajouter les constantes et les types).

Att.png S'écrit avec un lambda grec, normalement : λ-calcul.
Lambda, seul, signifie autre chose.