Need help on Lambda calculus reduction please.

Hello

I'm a student, studying functional programming, especially Lambda

Calculus thesedays. But I had a difficulty to solve the below one a few

days ago. Can anyone give me a help to solve the Lamdba calculus

reduction.

In particular, I want to solve it in two reduction methodologies(NOR and

AOR).

Any help would be greatly appreciated especially if you could actually

go through

the steps involved.

Thanks.

*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*

home : http://www.*-*-*.com/ ~jhhyun

*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*