1444949
9780262161886
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.Plotkin, Gordon is the author of 'Proof, Language, and Interaction Essays in Honour of Robin Milner' with ISBN 9780262161886 and ISBN 0262161885.
[read more]