Higher order operational techniques in semantics / 
edited by Andrew D. Gordon, Andrew M. Pitts. 
 - Cambridge, N.Y. :  Cambridge University Press,  1998. 
 - vii, 390 p. 
 - Publications of the Newton Institute ; No. 12. .
<br/><br/> Includes bibliographical references.  Contents : Operational equivalences for untyped and polymorhic object calculi--Relational reasoning about contexts. 
<br/><br/><label>ISBN: </label>0521631688 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing.<br/>Programming languages (Electronic computers).<br/>Logic, symbolic and mathematical.