Semantics and Logics of Computation

Summer school lecture courses on modern logic and computation are presented here.

Andrew M. Pitts (Edited by), P. Dybjer (Edited by)

9780521118460, Cambridge University Press

Paperback, published 20 August 2009

376 pages
22.9 x 15.2 x 2.1 cm, 0.55 kg

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

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.

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.

Subject Areas: Mathematical theory of computation [UYA]