Theories of types and proofs

Author(s)

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

Bibliographic Information

Theories of types and proofs

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

（MSJ memoirs, v. 2）

Mathematical Society of Japan, 1998

Note

"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

Details

• NCID: BA39308198
• ISBN:
  • 4931469027
• Country Code: ja
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Tokyo
• Pages/Volumes: vii, 295 p.
• Size: 25 cm
• Classification:
  • NDC8 : 410.8
• Subject Headings:
  • FREE : Type theory
  • FREE : Proof theory
• Parent Bibliography ID:
  • BA34550797