On 22-Sep-08 22:42, Darren New wrote:
> andrel wrote:
>> you don't. you refrain from using 'case' as a variable by self censoring. 
> 
> Or, to phrase it differently, it's not just a convention of 
> self-censoring that you can't name a function ) in the lambda calculus.
> 
no of course not. You can not even define a function '0' or '+" or 
'increment'. i.e. you can define things that behave that way, given some 
interpretation, but you can not name them as such.

Post a reply to this message