From mboxrd@z Thu Jan  1 00:00:00 1970
Path: main.gmane.org!not-for-mail
From: whopkins@csd.uwm.edu (Alfred Einstead)
Newsgroups: gmane.emacs.help
Subject: Re: Lambda calculus and it relation to LISP
Date: 11 Oct 2002 17:28:23 -0700
Organization: http://groups.google.com/
Sender: help-gnu-emacs-admin@gnu.org
Message-ID: <e58d56ae.0210111628.3a4392e0@posting.google.com>
References: <9e8ebeb2.0210041920.2e480123@posting.google.com> <7vbs69b9wr.fsf@gehennom.net> <20021005034431.P16860-100000@agora.rdrop.com>
NNTP-Posting-Host: localhost.gmane.org
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: main.gmane.org 1034382824 28899 127.0.0.1 (12 Oct 2002 00:33:44 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Sat, 12 Oct 2002 00:33:44 +0000 (UTC)
Return-path: <help-gnu-emacs-admin@gnu.org>
Original-Received: from monty-python.gnu.org ([199.232.76.173])
	by main.gmane.org with esmtp (Exim 3.35 #1 (Debian))
	id 180ADv-0007Vy-00
	for <gnu-help-gnu-emacs@m.gmane.org>; Sat, 12 Oct 2002 02:33:43 +0200
Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org)
	by monty-python.gnu.org with esmtp (Exim 4.10)
	id 180ABV-0002dl-00; Fri, 11 Oct 2002 20:31:13 -0400
Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!postnews1.google.com!not-for-mail
Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,sci.math,sci.logic
Original-Lines: 13
Original-NNTP-Posting-Host: 129.89.7.202
Original-X-Trace: posting.google.com 1034382503 17383 127.0.0.1 (12 Oct 2002 00:28:23 GMT)
Original-X-Complaints-To: groups-abuse@google.com
Original-NNTP-Posting-Date: 12 Oct 2002 00:28:23 GMT
Original-Xref: shelby.stanford.edu gnu.emacs.help:105950 comp.lang.lisp:96286 sci.math:551297 sci.logic:62007
Original-To: help-gnu-emacs@gnu.org
Errors-To: help-gnu-emacs-admin@gnu.org
X-BeenThere: help-gnu-emacs@gnu.org
X-Mailman-Version: 2.0.11
Precedence: bulk
List-Help: <mailto:help-gnu-emacs-request@gnu.org?subject=help>
List-Post: <mailto:help-gnu-emacs@gnu.org>
List-Subscribe: <http://mail.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=subscribe>
List-Id: Users list for the GNU Emacs text editor <help-gnu-emacs.gnu.org>
List-Unsubscribe: <http://mail.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=unsubscribe>
List-Archive: <http://mail.gnu.org/pipermail/help-gnu-emacs/>
Xref: main.gmane.org gmane.emacs.help:2497
X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:2497

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.