#: control delimiters. -- Matthias
On Wednesday, August 20, 2003, at 09:02 PM, David B. Tucker wrote:
>> Here are the equations:
>>
>> # E{ F v } = # v (\x.E{ x })
>>
>> # E{ F+ v } = v (\x.E{ x })
>>
>> # E{ G/w v } = v (w(E))
>>
>> E: evaluation contexts
>> v: function
>> x: variable
>> f(x): function application
>> \x.expression: (lambda (x) expression) in Scheme
>
> What are the '#'s?
>
> Dave