Proof, language, and interaction essays in honour of Robin Milner - Plotkin, G. 1946-; Stirling, Colin P.; Tofte, Mads; Milner, R. 1934-2010 (Foundations of computing., 2000)