Semantics of type theory : correctness, completeness and independence results

著者

• Streicher, Thomas

書誌事項

Semantics of type theory : correctness, completeness and independence results

Thomas Streicher

（Progress in theoretical computer science）

Springer Science+Business Media, c1991

• : pbk

注記

Includes bibliographical references (p. [292]-295) and index

詳細情報

• NII書誌ID(NCID): BC03141029
• ISBN:
  • 9781461267577
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: xii, 298 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA1282110X