| 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 |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/서고6층/ | 청구기호 004.015113 S471 | 등록번호 111640068 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
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.
정보제공 :
