My Library

University LibraryCatalogue


LEADER 00000nam a2200373 a 4500 
001       96050390 
008    961119s1997    enka     b    001 0 eng   
010    96050390 
019 1  12896921 
019    96050390 
020    0521580579|q(hardback) 
035    .b2232849x 
050 00 QA76|b.S425 1997 
082 00 004/.01/5113|221 
245 00 Semantics and logics of computation /|cedited by Andrew M.
       Pitts, Peter Dybjer. 
264  1 Cambridge ;|aNew York :|bCambridge University Press,
       |c1997. 
300    xii, 361 pages :|billustrations ;|c24 cm. 
336    text|btxt|2rdacontent 
337    unmediated|bn|2rdamedia 
338    volume|bnc|2rdacarrier 
490 1  Publications of the Newton Institute ;|v14. 
504    Includes bibliographical references and index. 
505 0  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. 
650  0 Electronic data processing.|0http://id.loc.gov/authorities
       /subjects/sh85042288 
650  0 Programming languages (Electronic computers)|xSemantics.
       |0http://id.loc.gov/authorities/subjects/sh85107316 
650  0 Logic, Symbolic and mathematical.|0http://id.loc.gov/
       authorities/subjects/sh85078115 
700 1  Pitts, A. M.|q(Andrew M.)|0http://id.loc.gov/authorities/
       names/nr93007196 
700 1  Dybjer, Peter.|0http://id.loc.gov/authorities/names/
       n95098776 
830  0 Publications of the Newton Institute ;|0http://id.loc.gov/
       authorities/names/n94077574|v14. 
907    .b2232849x 
984    2015|cheld 
990    MARCIVE MELB 201906 
Location Call No. Status
 UniM Store Engin  004.015113 SEMA    AVAILABLE