Semantics and Logics of Computation

List 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.

Summary

This book presents 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. They have been edited to form a coherent introduction to these topics.

Product details

• Authors: Andrew M. (University of Cambridge) Dybjer Pitts, Andrew M. Dybjer Pitts
• Assisted by: P. Dybjer (Editor), A. Pitts (Editor), Andrew M. Pitts (Editor)
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 30.01.1997
• EAN: 9780521580571
• ISBN: 978-0-521-58057-1
• No. of pages: 376
• Series: Publications of the Newton Ins
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > General, dictionaries