Re: Lambda calculus and it relation to LISP

[Luke A. Olbrish]

gnuist007@hotmail.com (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
<luke.olbrish@cc.gatech.edu>