Combinatory reduction systems

著者

• Klop, J. W. (Jan Willem)

書誌事項

Combinatory reduction systems

J.W. Klop

（Mathematical Centre tracts, 127）

Mathematisch centrum, 1980

• pbk.

注記

Thesis (Ph.D.)--State University of Utrecht

Bibliography: p. 298-303

Includes index

詳細情報

• NII書誌ID(NCID): BA06838050
• ISBN:
  • 9061962005
• LCCN: 81172011
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: xiii, 317 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.5
  • DC19 : 511.3
• 件名:
  • LCSH : Combinatory logic
  • LCSH : Lambda calculus
  • LCSH : Recursive programming
• 親書誌ID:
  • BA0072600X