HOME > Detail View

Detail View

Semantics and logics of computation

Semantics and logics of computation (Loan 2 times)

Material type
단행본
Personal Author
Pitts, A. M. (Andrew M.) Dybjer, Peter.
Title Statement
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.
Publication, Distribution, etc
Cambridge ;   New York :   Cambridge University Press,   1997.  
Physical Medium
xii, 361 p. : ill. ; 24 cm.
Series Statement
Publications of the Newton Institute ;14
ISBN
0521580579 (hardback) 9780521118460 (pbk.)
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
Electronic data processing. Programming languages (Electronic computers) -- Semantics. Logic, Symbolic and mathematical.
000 01176camuu2200325 a 4500
001 000045663486
005 20110830134038
008 110830s1997 enka b 001 0 eng d
010 ▼a 96050390
020 ▼a 0521580579 (hardback)
020 ▼a 9780521118460 (pbk.)
035 ▼a (KERIS)REF000006684969
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76 ▼b .S425 1997
082 0 0 ▼a 004/.01/5113 ▼2 22
084 ▼a 004.015113 ▼2 DDCK
090 ▼a 004.015113 ▼b S471
245 0 0 ▼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 p. : ▼b ill. ; ▼c 24 cm.
490 1 ▼a Publications of the Newton Institute ; ▼v 14
504 ▼a Includes bibliographical references and index.
650 0 ▼a Electronic data processing.
650 0 ▼a Programming languages (Electronic computers) ▼x Semantics.
650 0 ▼a Logic, Symbolic and mathematical.
700 1 ▼a Pitts, A. M. ▼q (Andrew M.)
700 1 ▼a Dybjer, Peter.
830 0 ▼a Publications of the Newton Institute ; ▼v 14.
945 ▼a KLPA

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 004.015113 S471 Accession No. 111640068 Availability Available Due Date Make a Reservation Service B M

Contents information

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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields