Need help on Lambda calculus reduction please.

[Jino, Hyun]

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.

( (@f. @x. f (f x)) (@x. x + 2) ) 5

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.

*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*
email : jhh...@psl.korea.ac.kr
home : http://oi.korea.ac.kr/~jhhyun
*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*