Proof, language, and interaction : essays in honour of Robin Milner

著者

• Plotkin, G. (Gordon)
• Stirling, Colin P.
• Tofte, Mads
• Milner, R. (Robin)

書誌事項

Proof, language, and interaction : essays in honour of Robin Milner

edited by Gordon Plotkin, Colin Stirling, and Mads Tofte

（MIT Press series in the foundations of computing）

MIT Press, c2000

• : hc

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA47019560
• ISBN:
  • 0262161885
• LCCN: 99027800
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: xiv, 722 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.
  • DC21 : 004
• 件名:
  • LCSH : Computer science
  • LCSH : Milner, R. (Robin), 1934-
• 親書誌ID:
  • BA0001568X