Cambridge Theory and Semantics Group
Details of the group, whose work is centred around mathematical models of a variety of languages and logics. Includes a list of members, and local resources.