> 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