Tools

LEADER 01842cam a2200385 a 4500

001 ocm35990373;

003 OCoLC;

005 20141212125254.0;

008 961119s1997 enka b 001 0 eng ;

010 a| 96050390;

020 a| 0521580579 (hardback);

035 a| (Sirsi) o35990373;

035 a| (OCoLC)35990373;

049 a| EREE;

050 00 a| QA76b| .S425 1997;

082 00 a| 004/.01/51132| 21;

245 00 a| Semantics and logics of computation /c| edited by Andrew M. Pitts, Peter Dybjer.;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 1997.;

300 a| xii, 361 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Publications of the Newton Institute ;v| 14;

504 a| Includes bibliographical references and index.;

505 0 a| 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.;

650 0 a| Computer programming.=| ^A33242;

650 0 a| Programming languages (Electronic computers)x| Semantics.=| ^A118081;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Pitts, A. M.q| (Andrew M.)=| ^A398437;

700 1 a| Dybjer, Peter.=| ^A374079;

830 0 a| Publications of the Newton Institute ;v| 14.=| ^A351716;

596 a| 1;

998 a| 628877;

999 a| QA76 .S425 1997w| LCc| 1i| 30372010009154d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 4/15/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.

Other author	Pitts, A. M. (Andrew M.)
Other author	Dybjer, Peter.
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1997.
Description	xii, 361 pages : illustrations ; 24 cm.
Subjects	Computer programming. Programming languages (Electronic computers)--Semantics. Logic, Symbolic and mathematical.

Series	Publications of the Newton Institute ; 14 Publications of the Newton Institute ; 14. ^A351716
Contents	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.
Bibliography note	Includes bibliographical references and index.
LCCN	96050390
ISBN	0521580579 (hardback)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76 .S425 1997	✔ Available	Place Hold

Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.

Click here for more information about this title

Availability