[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,

More information about the thelist mailing list