Semantics and Logics of Computation

Semantics and Logics of Computation

by Andrew M. Pitts
     
 

View All Available Formats & Editions

ISBN-10: 0521118468

ISBN-13: 9780521118460

Pub. Date: 08/20/2009

Publisher: Cambridge University Press

The aim of this volume is to present modern 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 course by international authorities in the area. The whole set have been edited to form a coherent introduction

Overview

The aim of this volume is to present modern 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 course by international authorities in the area. The whole set have been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

Product Details

ISBN-13:
9780521118460
Publisher:
Cambridge University Press
Publication date:
08/20/2009
Series:
Publications of the Newton Institute Series, #14
Pages:
376
Product dimensions:
6.00(w) x 9.00(h) x 0.70(d)

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >