Semantics and logics of computation
Author(s)
Bibliographic Information
Semantics and logics of computation
(Publications of the Newton Institute, 14)
Cambridge University Press, 1997
Available at / 32 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
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"