λ-terme \lɑ̃b.da tɛʁm\ (nom commun) : Terme du λ-calcul Parmi ses synonymes : λ-expression.
Synonymes de λ-terme
Définitions
Nom commun \lɑ̃b.da tɛʁm\
- Terme du λ-calculOn peut β–réduire les λ-termes qui ne sont pas directement l'application d'une abstraction et d'un terme, mais qui contiennent des sous-termes réductibles.
Étymologie
De la lettre λ et du mot terme, l'utilisation de la lettre λ vient du λ-calcul.
Mots voisins
ʔayʔaǰuθəm· α-aminoalcool· α-naphtyl acétamide· β-galactosidase· Δ· λ-expression· μ-métal· σ-algèbre· σ-compacité· σ-compact· φ· ω-cohérence
Sources
- « λ-terme », 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.