Lambda-Terme

Menge Λ der Lambda-Terme (mit Variablen aus einer Menge V):

• (Variable) wenn x∈V, dann x∈Λ
• (Applikation) wenn F∈Λ, A∈Λ, dann (FA)∈Λ
• (Abstraktion) wenn x∈V, B∈Λ, dann (λx.B)∈Λ

das sind also Lambda-Terme: x,(λx.x),((xz)(yz)),(λx.(λy.(λz.((xz)(yz)))))