From: Lorenzo
Subject: helponlambdacalculus
Date: Wed, 20 Oct 1999 00:00:00 +0000
Message-ID: <7ul7kt$aj3$1@nslave1.tin.it>

I' m a beginner in lambda-calculus. What I understand of Lambda-calculus I
can manage objects that are themselves functions. But how can I represent
objects that behave for example like A(x)=(n*10+x)/11  B(x)=(m*10+x)/11 such
that (A)B=(((n*10+m)/11)+x)/11 after normal reduction? And in general if I
know rules of behaviour like (A)B=A (B)A=A (C)B=B (B)C=B (C)A=C (A)C=C how
can I represent A, B, and C in lambda-calculus?
Any help would be greatly appreciated.
········@tin.it