[thelist] Lambda calculus
Lauri Vain
lauri_lists at tharapita.com
Mon Jan 20 17:27:01 CST 2003
Hello there,
I have a small question regarding lambda calculus, for which I would
need an answer in 4-10 hours, if somebody can help me out.
Can anybody help me out with a lambda calculus equasion problem -- I
don't quite remember how one did it? It had something to do with
recursion, but I can't totally "mastermind" the problem (how deep do the
recursions go and what did one have to give as arguments?).
The equasion is the following (I replaced lambda signs with {lambda} in
this e-mail):
({lambda} x. x*x+1) (({lambda} x. x*x+1) 2)
An answer to this would be nice, but a step-by-step trace with a couple
of explanatory sentences would be *great*. I need to *understand*
equasions as simple as the one above for now... I can pick up the ball
from there on myself.
Thank you very much,
Lauri
More information about the thelist
mailing list