Proof, language, and interaction essays in honour of Robin Milner - Plotkin, G. 1946- (MIT Press, 2000)