Correspondence regarding a seminar on the semantics of programming languages, to be given at the Department of Artificial Intelligence, Edinburgh, in the course of a visit with S.R.C. Board of Visitors.

Includes a programme of the visit.