My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
 
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
PRINTED BOOKS

Title Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.

Published Cambridge ; New York : Cambridge University Press, 1997.

Copies

Location Call No. Status
 UniM Store Engin  004.015113 SEMA    AVAILABLE
Physical description xii, 361 pages : illustrations ; 24 cm.
Series Publications of the Newton Institute ; 14.
Publications of the Newton Institute ; 14.
Bibliography Includes bibliographical references and index.
Contents 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.
Other author Pitts, A. M. (Andrew M.)
Dybjer, Peter.
Subject Electronic data processing.
Programming languages (Electronic computers) -- Semantics.
Logic, Symbolic and mathematical.
ISBN 0521580579 (hardback)