FW: [CST-2] Address taken variable

Peter Taylor pjt33@hermes.cam.ac.uk
Thu, 30 May 2002 02:28:20 +0100 (BST)


> So I do I take the address of a variable in lambda calculus? :-)

In what sense can a variable be said to have an address in lambda calculus?
But this is clearly why we should all use SK - no variables to address-take.

Peter
=====
Peter Taylor
pjt33@cam.ac.uk