| NCID | BA35082413 |
| タイトル | Higher order operational techniques in semantics / edited by Andrew D. Gordon and Andrew M. Pitts |
| 出版者 | New York : Cambridge University Press , c1998 |
| 形態 | vii, 390 p. ; 24 cm |
| 注記 | Articles which develop many of the themes introduced at the workshop on Higher Order Operational Techniques in Semantics (HOOTS) that took place in Oct. 1995 as part of a six-month programme on semantics of computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
Logo on t.p.: HOOTS |
| シリーズ名 | Publications of the Newton Institute ; 12
|
| 分類 | LCC:QA76
DC21:004/.01/5113 |
| 件名 | LCSH:Electronicdataprocessing
LCSH:Programminglanguages(Electroniccomputers) -- Semantics
LCSH:Logic,Symbolicandmathematical
|
| 著者情報 | Gordon, Andrew D.
Pitts, A. M
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | アメリカ合衆国 |
| ISBN | 0521631688
|
| 番号 | LCCN : 97032339 |