Lambda-Terme

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

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

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