Plotkin, Gordon  . <br/><br/>
Proof, language, and interaction: essays in honour of Robin Milner /  
edited by Gordon Plotkin, Colin Stirling and Mads Tofte. 
 - Cambridge :   The MIT Press ,   2000 
 - 722p :  
<br/><br/><label>ISBN: </label>0-262-16188-5 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Language
<br/><br/><label>Dewey Class. No.: </label>P  / P0