Theories of types and proofs

著者

• 高橋, 正子 タカハシ, マサコ
• Okada, M. (Mitsuhiro)
• Dezani-Ciancaglini, Mariangiola

書誌事項

Theories of types and proofs

Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)

（MSJ memoirs, v. 2）

Mathematical Society of Japan, 1998

注記

"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

詳細情報

• NII書誌ID(NCID): BA39308198
• ISBN:
  • 4931469027
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Tokyo
• ページ数/冊数: vii, 295 p.
• 大きさ: 25 cm
• 分類:
  • NDC8 : 410.8
• 件名:
  • FREE : Type theory
  • FREE : Proof theory
• 親書誌ID:
  • BA34550797