[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Lambda calculus and it relation to LISP
From: |
Alfred Einstead |
Subject: |
Re: Lambda calculus and it relation to LISP |
Date: |
11 Oct 2002 17:28:23 -0700 |
William Elliot <mars@xx.com> wrote:
> > ((lambda (x) x x) (lambda (x) x x))
> (Lx.xx)(Lx.xxx)
That one, however, DOES has a normal form: the
rational infinite expression
DT -> ((((...)T)T)T)T
where
D = lambda x. xx
T = lambda x. xxx
In GNUese, this is the rational infinite lambda
expression Z, where Z is the GNUbreviation of ZT.