FW: [CST-2] Address taken variable

[Anthony Jones]

unsubscribe

On Thu, May 30, 2002 at 07:55:13AM +0100, Tom Puverle wrote:
> From: "Tom Puverle" <tp225@cam.ac.uk>
> To: <cst-2@srcf.ucam.org>
> Subject: RE: FW: [CST-2] Address taken variable
> Date: Thu, 30 May 2002 07:55:13 +0100
> Reply-To: cst-2@srcf.ucam.org
> 
> > So I do I take the address of a variable in lambda calculus? :-)
> 
> In the today's world of artificially stupid machines you no longer need such
> a concept. Storage is an outdated idea. With lambda calculus in theory the
> needed conventional memory is 0 but the practical upper limit is infinity.
> As a proof of the computational power of lambda calculus Microsoft  decided
> to write the Windows XP kernel with it.
> 
> 
> 
> _______________________________________________
> CST-2 mailing list
> CST-2@srcf.ucam.org
> http://www.srcf.ucam.org/mailman/listinfo/cst-2
-- 
The obligatory bit about my email address:
This account will be closed on July 15th 2002.
Please use ant@cantab.net