The Swansea subsite of the TYPES Project

The Swansea subsite, at the Dept. of Computer Science, University of Wales Swansea, is particularly strong in mathematical logic and foundations of type theory, but also has interests in applications to programming languages. The site plans to contribute to three of the objective areas The members of the Swansea subsite are:
Anton Setzer
Last modified: Mon Oct 3 21:53:52 BST 2005