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 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).
![]() |
S'écrit avec un lambda grec, normalement : λ-calcul. |