"Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000.

Chris Reade "Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000. 125-128 2004 14 J. Funct. Program. 1 http://dx.doi.org/10.1017/S0956796803004830 db/journals/jfp/jfp14.html#Reade04