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