Proof, Language, and Interaction Essays in Honour of Robin Milner

This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundations; programming logic; programming languages; concurrency; and mobility.