> > 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 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:48 UTC