Need help on Lambda calculus reduction please. 
Author Message
 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
   *'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*.,.*'`'*



Fri, 08 Feb 2002 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Need help on Lambda calculus reduction please.

2. Need help on Lambda calculus reduction please.

3. Lambda calculus/Lisp - renaming and reduction help!

4. Lambda calculus/Lisp - renaming and reduction help!

5. Q: reduction strategies in lambda calculus

6. Beta like reduction rules for lambda calculus

7. LAMBDA calculus help please

8. help needed with Lambda-Calculus

9. Need genius for lambda calculus

10. probs with LAmbda calulus need help please

11. File Size reduction Please Help!

12. Lambda Calculus Question

 

 
Powered by phpBB® Forum Software