Lambda-calculus and combinators, an introduction

• Tác giả: J. Roger Hindley, J. P Seldin
• Ngôn ngữ: eng
• ISBN-10: 0521898854
• ISBN-13: 978-0521898850
• Ký hiệu phân loại: 517.3 [Unassigned]
• Thông tin xuất bản: Cambridge, UK ; New York : Cambridge University Press, 2008.
• Mô tả vật lý: xi, 345 pages : , illustrations ; , 24 cm.
• Bộ sưu tập: Khoa học tự nhiên
• ID: 277105
• Chủ đề: 1. Combinatory logic; 2. Lambda calculus

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

Tóm tắt

"In this up-to-date account of the subject, the grammar and basic properties of both combinatory logic and [lambda]-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. [lambda]-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth."--BOOK JACKET.