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)))))
Johannes Waldmann
2007-01-30