The Cambridge Theory and Semantics Group is now part of the
Programming, Logic, and Semantics group
. (This page should redirect in 3 seconds.)