Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

A Brief Scientific Biography Of Robin Milner -- 1. Bistructures, Bidomains, And Linear Logic / Pierre-louis Curien, Gordon Plotkin And Glynn Winskel -- 2. Axioms For Definability And Full Completeness / Samson Abramsky -- 3. Algebraic Derivation Of An Operational Semantics / C.a.r. Hoare, He Jifeng And Augusto Sampaio -- 4. From Banach To Milner: Metric Semantics For Second Order Communication And Concurrency / Jaco De Bakker And Franck Van Breugel -- 5. The Tile Model / Fabio Gadducci And Ugo Montanari -- 6. From Lcf To Hol: A Short History / Mike Gordon -- 7. A Fixedpoint Approach To (co)inductive And (co)datatype Definitions / Lawrence C. Paulson. Edited By Gordon Plotkin, Colin Stirling, And Mads Tofte. Includes Bibliographical References.