[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Lambda calculus and it relation to LISP
From: |
William Elliot |
Subject: |
Re: Lambda calculus and it relation to LISP |
Date: |
Fri, 11 Oct 2002 21:02:39 -0700 |
On 11 Oct 2002, Alfred Einstead wrote:
> 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.
>
dd -> dd -> dd -> dd -> dd -> ...
dt -> ttt -> tttt -> ttttt -> ...
Neither reduces to stable form without further reductions to be made.
-----= Posted via Newsfeeds.Com, Uncensored Usenet News =-----
http://www.newsfeeds.com - The #1 Newsgroup Service in the World!
-----== Over 80,000 Newsgroups - 16 Different Servers! =-----
Re: Lambda calculus and it relation to LISP, Charles Matthews, 2002/10/05
Re: Lambda calculus and it relation to LISP, Gareth McCaughan, 2002/10/05