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.


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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:41 UTC