[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## Re: Lambda calculus and it relation to LISP

**From**: |
Thaddeus L Olczyk |

**Subject**: |
Re: Lambda calculus and it relation to LISP |

**Date**: |
Sun, 06 Oct 2002 12:22:10 GMT |

On 4 Oct 2002 20:20:49 -0700, gnuist007@hotmail.com (gnuist) wrote:
>*"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."*
To really see a PL that "implements lambda calculus"
lok at Haskel, not Lisp.

**Re: Lambda calculus and it relation to LISP**, *(continued)*
**Re: Lambda calculus and it relation to LISP**, *Christian Lemburg*, `2002/10/07`
**Re: Lambda calculus and it relation to LISP**, *ozan s yigit*, `2002/10/07`
**Re: Lambda calculus and it relation to LISP**, *Barb Knox*, `2002/10/07`
**Re: Lambda calculus and it relation to LISP**, *David Kastrup*, `2002/10/07`
**Re: Lambda calculus and it relation to LISP**, *Gareth McCaughan*, `2002/10/07`
**Re: Lambda calculus and it relation to LISP**, *William Elliot*, `2002/10/07`
**Re: Lambda calculus and it relation to LISP**, *Gareth McCaughan*, `2002/10/07`
**Re: Lambda calculus and it relation to LISP**, *William Elliot*, `2002/10/08`

**Re: Lambda calculus and it relation to LISP**, *Fred Gilham*, `2002/10/05`
**Re: Lambda calculus and it relation to LISP**, *Kaz Kylheku*, `2002/10/05`
**Re: Lambda calculus and it relation to LISP**,
*Thaddeus L Olczyk* **<=**
**Re: Lambda calculus and it relation to LISP**, *Alfred Einstead*, `2002/10/11`