Lambda-Terme

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

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



Johannes Waldmann 2007-01-30