Lambda-Calculus and Combinators, 2/e : An Introduction (Hardcover)
J. Roger Hindley, Jonathan P. Seldin
- 出版商: Cambridge
- 出版日期: 2008-07-24
- 售價: $2,890
- 貴賓價: 9.5 折 $2,746
- 語言: 英文
- 頁數: 358
- 裝訂: Hardcover
- ISBN: 0521898854
- ISBN-13: 9780521898850
-
相關分類:
微積分 Calculus
下單後立即進貨 (約1週~2週)
買這商品的人也買了...
-
$580$464 -
$480$379 -
$880$695 -
$1,590$1,558 -
$650$514 -
$550$429 -
$860$731 -
$550$435 -
$580$458 -
$520$442 -
$650$553 -
$820$697 -
$890$703 -
$490$417 -
$480$408 -
$850$808 -
$720$569 -
$680$578 -
$650$553 -
$480$432 -
$650$514 -
$550$468 -
$420$357 -
$580$493 -
$560$476
商品描述
Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. 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. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.