Semantics and logics of computation
Author(s)
Bibliographic Information
Semantics and logics of computation
(Publications of the Newton Institute, 14)
Cambridge University Press, 2009
- pbk
Available at / 5 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
First published 1997, this digitally printed version 2009 (Paperback re-issue)
Description and Table of Contents
Description
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.
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.
by "Nielsen BookData"