Semantics and Logics of Computation (häftad)
Format
Häftad (Paperback)
Språk
Engelska
Antal sidor
376
Utgivningsdatum
2009-08-20
Förlag
Cambridge University Press
Medarbetare
Dybjer, P.
Illustrationer
black & white illustrations
Volymtitel
Series Number 14 Semantics and Logics of Computation
Dimensioner
222 x 146 x 19 mm
Vikt
566 g
Antal komponenter
1
Komponenter
2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam
ISBN
9780521118460
Semantics and Logics of Computation (häftad)

Semantics and Logics of Computation

Häftad Engelska, 2009-08-20
389
Skickas inom 10-15 vardagar.
Fri frakt inom Sverige för privatpersoner.
Finns även som
Visa alla 1 format & utgåvor
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.
Visa hela texten

Passar bra ihop

  1. Semantics and Logics of Computation
  2. +
  3. Foundations of Software Science and Computation Structures

De som köpt den här boken har ofta också köpt Foundations of Software Science and Computation... av Andrew M Pitts (häftad).

Köp båda 2 för 1148 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Recensioner i media

Review of the hardback: '... 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

Bloggat om Semantics and Logics of Computation

Övrig information

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

Innehållsförteckning

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.