Gavin Thomas Nicol wrote:
> [...] Alpha-renaming (aka namespaces) [...]
Gavin, I'm curious what you mean by this.
To my mind, alpha-renaming and XML namespaces are polar opposites.
In the lambda-calculus, you can alpha-rename bound variables
because the variable name is completely irrelevant; with XML
namespaces, element and attribute names are deemed to be
so important that they are made globally unique.
The only similarity I can see is that both are used to
avoid name clashes. Is this what you have in mind?
--Joe English
