I have moved to Cambridge. Some of my papers can be found there.

Peter.Sewell@cl.cam.ac.uk