Λ-терм

λ-терм (лямбда-терм) — в λ-исчислении объект исчисления. Определяется индуктивно следующим образом:

1. $v \in Id \Rightarrow v \in Expr$
2. $v \in Id, E \in Expr \Rightarrow \lambda v.E \in Expr$
3. $E, E' \in Expr \Rightarrow (EE') \in Expr$
4. $E \in Expr \Rightarrow (E) \in Expr$

Здесь $Id$ — множество идентификаторов, $Expr$ — множество λ-термов. Других λ-термов нет.

См. также

• Свободная переменная
• Связанная переменная