seeking Michael Wright

At the suggestion of Martin Hyland we are trying to make contact with Michael Wr ight, who Hyland thought was living in London. He was in Cleveland, Ohio in 1990/ 91 where he helped Colin McLarty with his book "Elementary Categories, Elementary Toposes". Colin McLarty, we believe, is active on email. Can anyone tell us how to contact Michael Wright (or are you on this mailing list , Michael)? Please reply to Gary Alexander at the Open University, as g.r.alexander@open.ac.uk. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++