> > [1] http://www-lti.informatik.rwth-aachen.de/~clu/papers/archive/lutzdiss.pdf Ian, I don't think I have time to read 225 pages ... :( Is there a shorter version of the central argument? JeremyReceived on Friday, 22 March 2002 05:43:25 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:48 GMT