Lambda-calculus and combinators, an introduction

著者

• Hindley, J. Roger
• Seldin, Jonathan P.

書誌事項

Lambda-calculus and combinators, an introduction

J. Roger Hindley, Jonathan P. Seldin

Cambridge University Press, c2008

• : hbk

注記

Includes bibliographical references (p. 323-333) and index

詳細情報

• NII書誌ID(NCID): BA86451211
• ISBN:
  • 9780521898850
• LCCN: 2008006276
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, UK
• ページ数/冊数: xi, 345 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.5
  • DC22 : 511.3/5
• 件名:
  • LCSH : Lambda calculus
  • LCSH : Combinatory logic