Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.
Material type: TextSeries: Publications of the Newton Institute ; 14.Publisher: Cambridge : Cambridge University Press, 1997Description: 1 online resource (xii, 361 pages) : digital, PDF file(s)Content type:- text
- computer
- online resource
- 9780511526619 (ebook)
- Semantics & Logics of Computation
- 004/.01/5113 21
- QA76 .S425 1997
Title from publisher's bibliographic system (viewed on 05 Oct 2015).
Semantics of interaction : an introduction to game semantics / Samson Abramsky -- Computational content of classical logic / Thierry Coquand -- Syntax and semantics of dependent types / Martin Hofmann -- Game semantics / Martin Hyland -- Metalanguages and applications / Eugenio Moggi -- Operationally-based theories of program equivalence / Andrew Pitts -- Categories in concurrency / Glynn Winskel and Mogens Nielsen.
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.
There are no comments on this title.