Semantics and Logics of Computation

Informationen zum Autor Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College. Klappentext 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. Zusammenfassung 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. Inhaltsverzeichnis 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.

Product details

• Authors: Andrew M. Pitts, Andrew M. (University of Cambridge) Dybjer Pitts, Andrew M. Dybjer Pitts
• Assisted by: P. Dybjer (Editor), Peter Dybjer (Editor), Andrew M. Pitts (Editor)
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 20.08.2009
• EAN: 9780521118460
• ISBN: 978-0-521-11846-0
• No. of pages: 376
• Series: Publications of the Newton Institute; Publications of the Newton Ins
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages