[Home] [By Thread] [By Date] [Recent Entries]
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 jenglish@f...
|

Cart



