Re: Lambda calculus and it relation to LISP

[Alfred Einstead]

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.