Λ-терм

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

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

  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\) — множество λ-термов. Других λ-термов нет.

См. также[править]