λ-expression \lɑ̃b.da ɛk.spʁɛ.sjɔ̃\ (nom commun) : Terme du λ-calcul Parmi ses synonymes : fonction anonyme, λ-terme et expression lambda.
Synonymes de λ-expression
Les termes suivants sont utilisé dans un contexte plus pratique de programmation et moins dans un contexte formel de mathématique.
Définitions
Nom commun \lɑ̃b.da ɛk.spʁɛ.sjɔ̃\
- Terme du λ-calculOn appelle β-radical toute λ-expression de la forme (λy.M)N
Étymologie
De la lettre λ et du mot expression (dans son sens mathématique), l'utilisation de la lettre λ vient du λ-calcul.
Mots voisins
ɬaʔamɩn· ʔayʔaǰuθəm· α-aminoalcool· α-naphtyl acétamide· β-galactosidase· Δ· λ-terme· μ-métal· σ-algèbre· σ-compacité· σ-compact· φ
Sources
- « λ-expression », Wiktionnaire, le dictionnaire libre. Texte sous licence CC BY-SA 4.0.
Une erreur, un synonyme manquant ? Corrigez la page du Wiktionnaire : la prochaine mise à jour de Synonyma la reprendra.