[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Lambda calculus and it relation to LISP

From: Luke A. Olbrish
Subject: Re: Lambda calculus and it relation to LISP
Date: 05 Oct 2002 03:51:48 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 (gnuist) writes:

> "The lambda calculus is a mathematical formalism 
> having to do with the way functions instantiate
> their arguments. To some extent it is the theoretical
> basis for Lisp and plenty of other computer languages."
> I am interested in a little concrete elaboration
> of this statement by any mathematicians, logicians
> or practitioners/users of lisp and lisp in emacs.

((lambda (x) x x) (lambda (x) x x))

Luke Olbrish

reply via email to

[Prev in Thread] Current Thread [Next in Thread]