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 : ······@psl.korea.ac.kr
home : http://oi.korea.ac.kr/~jhhyun
*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*