Semantics and logics of computation / 
 Semantics & Logics of Computation 
edited by Andrew M. Pitts, Peter Dybjer. 
 - Cambridge :  Cambridge University Press,  1997. 
 - 1 online resource (xii, 361 pages) :  digital, PDF file(s). 
 - Publications of the Newton Institute ;  14 .
 - Publications of the Newton Institute ;  14. .
<br/><br/> Title from publisher's bibliographic system (viewed on 05 Oct 2015). 
<br/><br/>Semantics of interaction : an introduction to game semantics / Samson Abramsky -- Computational content of classical logic / Thierry Coquand -- Syntax and semantics of dependent types / Martin Hofmann -- Game semantics / Martin Hyland -- Metalanguages and applications / Eugenio Moggi -- Operationally-based theories of program equivalence / Andrew Pitts -- Categories in concurrency / Glynn Winskel and Mogens Nielsen. 
<br/><br/> The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before. 
<br/><br/><label>ISBN: </label>9780511526619 (ebook) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing.<br/>Programming languages (Electronic computers)--Semantics.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>LC Class. No.: </label>QA76  / .S425 1997 
<br/><br/><label>Dewey Class. No.: </label>004/.01/5113