Proof, language, and interaction : essays in honour of Robin Milner 
edited by Gordon Plotkin, Colin Stirling and Mads Tofte 
 - London  The MIT Press  2000 
 - xiv,722p.;  24cm. 
 - Foundations of computing series .
<br/><br/><label>ISBN: </label>9780262161886 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)<br/>Logic, symbolic and mathematical<br/>Computer science
<br/><br/><label>Dewey Class. No.: </label>005.13  / PRO