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