Gordon D. Plotkin
University of Edinburgh
Department of Computer Science
JCMB, The King's Buildings
Mayfield Road
Edinburgh, EH9 3JZ
Scotland
gdp@lfcs.edinburgh.ac.uk