| NCID | BA39308198 |
| タイトル | Theories of types and proofs / Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.) |
| 出版者 | Tokyo : Mathematical Society of Japan , 1998 |
| 形態 | vii, 295 p. ; 25 cm |
| 注記 | "In September 1997, the two week MSJ regional workshop on "Theories of Types and Proofs" took place at Tokyo Institute of Technology in Tokyo" -- Pref
Includes bibliographical references |
| シリーズ名 | MSJ memoirs ; v. 2
|
| 分類 | NDC8:410.8 |
| 著者情報 | 高橋, 正子 (タカハシ, マサコ)
Okada, M. (Mitsuhiro), 1954-
Dezani-Ciancaglini, Mariangiola
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | 日本 |
| ISBN | 4931469027
|