> > Thanks Jeremy. Just to make sure I understand your use of the > term "reduction", you mean that G' can be derived from G? > > James Just a bit of code really ... i.e. some formal algorithm that implements a function ... (I bet someone else could give a better definition). It seem to me to also have this sense of concern about the semantic properties ... JeremyReceived on Friday, 19 March 2004 05:21:39 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:05 GMT