Laboratory for Foundations of Computer Science School of Informatics Informatics Forum 10 Crichton Street. Edinburgh EH8 9AB, UK
gdp AT inf DOT ed DOT ac DOT uk
Office: IF 4.32 Phone: +44 131 650 5158.