W3C home > Mailing lists > Public > www-math@w3.org > May 2009

Re: on alpha conversion

From: David Carlisle <davidc@nag.co.uk>
Date: Tue, 26 May 2009 09:24:51 +0100
Message-Id: <200905260824.n4Q8Opo1002827@edinburgh.nag.co.uk>
To: andreas.strotmann@ualberta.ca
Cc: www-math@w3.org


> x stands for *the* x-axis, changing it to y or even z would change the
> meaning 

Such variables are free variables, if you used <ci>x</ci> in that sense
and used it as a bound variable, you'd be wrong.

> In summary, alpha conversion is dangerous for projects like WebALT, 
Not if the variable has been explictly marked up by the author of the
expression as being bound.

David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________
Received on Tuesday, 26 May 2009 08:25:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:13:04 GMT