University of Edinburgh.Laboratory for Foundations of Computer