| 000 | 02341nam a22004098i 4500 | ||
|---|---|---|---|
| 001 | CR9780511526619 | ||
| 003 | UkCbUP | ||
| 005 | 20200124160230.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 090407s1997||||enk o ||1 0|eng|d | ||
| 020 | _a9780511526619 (ebook) | ||
| 020 | _z9780521580571 (hardback) | ||
| 020 | _z9780521118460 (paperback) | ||
| 040 |
_aUkCbUP _beng _erda _cUkCbUP |
||
| 050 | 0 | 0 |
_aQA76 _b.S425 1997 |
| 082 | 0 | 0 |
_a004/.01/5113 _221 |
| 245 | 0 | 0 |
_aSemantics and logics of computation / _cedited by Andrew M. Pitts, Peter Dybjer. |
| 246 | 3 | _aSemantics & Logics of Computation | |
| 264 | 1 |
_aCambridge : _bCambridge University Press, _c1997. |
|
| 300 |
_a1 online resource (xii, 361 pages) : _bdigital, PDF file(s). |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aPublications of the Newton Institute ; _v14 |
|
| 500 | _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). | ||
| 505 | 0 | _aSemantics 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. | |
| 520 | _aThe 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. | ||
| 650 | 0 | _aElectronic data processing. | |
| 650 | 0 |
_aProgramming languages (Electronic computers) _xSemantics. |
|
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 700 | 1 |
_aPitts, A. M. _q(Andrew M.), _eeditor. |
|
| 700 | 1 |
_aDybjer, Peter, _eeditor. |
|
| 776 | 0 | 8 |
_iPrint version: _z9780521580571 |
| 830 | 0 |
_aPublications of the Newton Institute ; _v14. |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1017/CBO9780511526619 |
| 999 |
_c517532 _d517530 |
||