Download the Free Fishpond App!
Download on the App Store

Android App on Google play
Semantics and Logics of Computation (Publications of the Newton Institute)

Already own it?

Sell Yours
Home » Books » Computers » Programming » General

Semantics and Logics of Computation

Publications of the Newton Institute

By Andrew M. Pitts (Edited by), Peter Dybjer (Edited by)

Elsewhere $195 $179   Save $16.00
or 4 easy payments of $44.75 with What's this?
Free shipping Australia wide
Ships from UK
Order now for Christmas delivery
Rating:
 
Register or sign-in to rate and get recommendations.
Format: Hardcover, 376 pages
Other Information: Illustrations
Published In: United Kingdom, 30 January 1997
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 courses 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.

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.

About the Author

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

Reviews

'... the book gives an attractive thematic overview of recent advances in the semantics and logics of computation. Students and researchers alike will find the book valuable as a reference and a pleasure to read.' The Computer Journal

EAN: 9780521580571
ISBN: 0521580579
Publisher: Cambridge University Press
Dimensions: 22.86 x 15.24 x 2.54 centimetres (0.72 kg)
Age Range: 15+ years
Tell a friend

Their Email:

Sell Yours

Already own this item?
Sell Yours and earn some cash. It's fast and free to list! (Learn More.)

Review this Product

BAD GOOD
 

Webmasters, Bloggers & Website Owners

You can earn a 5% commission by selling Semantics and Logics of Computation (Publications of the Newton Institute) on your website. It's easy to get started - we will give you example code. After you're set-up, your website can earn you money while you work, play or even sleep!

 

Authors/Publishers

Are you the Author/Publisher? Improve sales by submitting additional information on this title.

 

This item ships from and is sold by Fishpond World Ltd.