Semantics and Logics of Computation

by Andrew M. Pitts, P. Dybjer

Overview

This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.

Product Details

ISBN-13:	9780521118460
Publisher:	Cambridge University Press
Publication date:	08/20/2009
Series:	Publications of the Newton Institute , #14
Pages:	376
Product dimensions:	6.00(w) x 9.00(h) x 0.70(d)

About the Author

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

Table of Contents

List of contributors; Preface; 1. Semantics of interaction: an introduction to game semantics Samson Abramsky; 2. Computational content of classical logic Thierry Coquand; 3. Syntax and semantics of dependent types Martin Hofmann; 4. Game semantics Martin Hyland; 5. Metalanguages and applications Eugenio Moggi; 6. Operationally-based theories of program equivalence Andrew Pitts; 7. Categories in concurrency Glynn Winskel and Mogens Nielsen; Index.

Editorial Reviews

Review of the hardback: '… the book gives an attractive thematic overview of recent advances in the semantics and logics of computation. Students and researchers alike will find the book valuable as a reference and a pleasure to read.' The Computer Journal

From the Publisher