| NCID | BA29509863 |
| タイトル | Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer |
| 出版者 | New York : Cambridge University Press , 1997 |
| 形態 | xii, 361 p. : ill. ; 24 cm |
| 注記 | Includes bibliographical references and index |
| シリーズ名 | Publications of the Newton Institute ; 14
|
| 分類 | LCC:QA76
DC21:004/.01/5113 |
| 件名 | LCSH:Electronicdataprocessing
LCSH:Programminglanguage(Electoroniccomputers) -- Semantics
LCSH:Logic,Symbolicandmathematical
|
| 著者情報 | Pitts, A. M
Dybjer, Peter
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | アメリカ合衆国 |
| ISBN | 0521580579
|
| 番号 | LCCN : 96050390 |