HOME > 상세정보

상세정보

Semantics and logics of computation

Semantics and logics of computation (2회 대출)

자료유형
단행본
개인저자
Pitts, A. M. (Andrew M.) Dybjer, Peter.
서명 / 저자사항
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.
발행사항
Cambridge ;   New York :   Cambridge University Press,   1997.  
형태사항
xii, 361 p. : ill. ; 24 cm.
총서사항
Publications of the Newton Institute ;14
ISBN
0521580579 (hardback) 9780521118460 (pbk.)
서지주기
Includes bibliographical references and index.
일반주제명
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

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 004.015113 S471 등록번호 111640068 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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.


정보제공 : Aladin

관련분야 신착자료

김효곤 (2022)