Basic simple type theory

著者

• Hindley, J. Roger

書誌事項

Basic simple type theory

J. Roger Hindley

（Cambridge tracts in theoretical computer science, 42）

Cambridge University Press, 1997

• : hbk
• : pbk

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA31543853
• ISBN:
  • 0521465184
  • 0521054222
• LCCN: 95009058
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge
• ページ数/冊数: xi, 186 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.7
  • DC20 : 005.13
• 件名:
  • LCSH : Programming languages (Electronic computers)
  • LCSH : Type theory
• 親書誌ID:
  • BA01121831