LAMBDA and REDUCE