# Synonymes de λ-terme

Source : https://synonyma.fr/%CE%BB-terme · 1 synonymes · 0 antonymes · mis à jour le 2026-11-03

## Synonymes de λ-terme

### Nom commun

- [λ-expression](https://synonyma.fr/%CE%BB-expression)

## Définitions

### Nom commun \lɑ̃b.da tɛʁm\

1. Terme du λ-calcul
   > On 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.

## Sources et licence

- Wiktionnaire, « λ-terme » : https://fr.wiktionary.org/wiki/%CE%BB-terme (CC BY-SA 4.0)