[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: |
Sat, 5 Oct 2002 03:46:54 -0700 |
On 5 Oct 2002, Luke A. Olbrish wrote:
> gnuist007@hotmail.com (gnuist) writes:
>
> > "The lambda calculus is a mathematical formalism
> > having to do with the way functions instantiate
> > their arguments.
> ((lambda (x) x x) (lambda (x) x x))
>
(Lx.xx)(Lx.xxx)
-----= 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