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）

Birkhäuser, 1991

• : Basel
• : Boston

注記

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

• NII書誌ID(NCID): BA13475660
• ISBN:
  • 3764335947
  • 0817635947
• LCCN: 91026116
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston
• ページ数/冊数: xii, 298 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.7
  • DC20 : 005.13
• 件名:
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Functional programming (Computer science)
  • LCSH : Type theory
• 親書誌ID:
  • BA1282110X