[thelist] Lambda calculus

Dean Mah dmah at members.evolt.org
Mon Jan 20 20:28:01 CST 2003

Isn't something like:


It's been awhile.


On Tue, Jan 21, 2003 at 01:26:06AM +0200, Lauri Vain wrote:
> 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