--------------40DF4F033372571300C4445F
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Dear Rinus,
It was pleasant to hear from you and thank you for replying so
promptly. You wrote in reply to my question as to whether your group is
still interested in a definitive account of abstract reduction:
> No, we sre still iterested. But since Eric has left, the SA is working
fine and we have lots and > lots of new ideas to work out, we did not
work further on this part.
>
> Do you looking for someone to collaborate with our are you just
wondering whether we are > interested in your results?
> The latter is certainly the case.
> Oyhow, we ceratinly want to help you if you have questions and are of
course open for any > further collaboration...
We are not necessarily seeking a collaborator - although it would be
welcome - chiefly we wanted to establish whether you are still
interested and we would like to keep in touch with you over this work.
Of course we would be delighted if someone at Nijmegen could find time
to answer any questions or wished to collaborate.
- Best wishes, David.
--
_________________________________________________
Dr David J. Clark email: djc2@doc.ic.ac.uk
Dept. of Computing room: 428
Imperial College
180 Queen's Gate phone: ++ 171 594 8314
London SW7 2BZ
UK fax: ++ 171 581 8024
http://theory.doc.ic.ac.uk:80/~djc2/
__________________________________________________
--------------40DF4F033372571300C4445F
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit
Dear Rinus,
It was pleasant to hear from you and thank you for replying so promptly.
You wrote in reply to my question as to whether your group is still interested
in a definitive account of abstract reduction:
> No, we sre still iterested. But since Eric has left, the SA is working
fine and we have lots and > lots of new ideas to work out, we did not work
further on this part.
>
> Do you looking for someone to collaborate with our are you just wondering
whether we are > interested in your results?
> The latter is certainly the case.
> Oyhow, we ceratinly want to help you if you have questions and are
of course open for any > further collaboration...
We are not necessarily seeking a collaborator - although it would
be welcome - chiefly we wanted to establish whether you are still interested
and we would like to keep in touch with you over this work. Of course we
would be delighted if someone at Nijmegen could find time to answer
any questions or wished to collaborate.
- Best wishes, David.
--
_________________________________________________
Dr David J. Clark email: djc2@doc.ic.ac.uk
Dept. of Computing room: 428
Imperial College
180 Queen's Gate phone: ++ 171 594 8314
London SW7 2BZ
UK fax: ++ 171 581 8024
http://theory.doc.ic.ac.uk:80/~djc2/
__________________________________________________