株式会社極東書店トップ ＞ 商品一覧 ＞ Lambda-Calculus and Combinators : An Introduction. 2nd Revised edition.
商品詳細
Lambda-Calculus and Combinators : An Introduction. 2nd Revised edition.
・ISBN 978-0-521-89885-0 hard GB£ 71.00
￥22,492.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-0-511-80983-5
| 著者・編者 | Hindley, J. Roger / Seldin, Jonathan P., |
|---|---|
| 出版社 | (Cambridge University Press, UK) |
| 出版年月 | 2008 |
| ページ数 | 358 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-15880＞ |
解説
Combinatory logic and lambda-calculus, originally devised in the 1920s, 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 version is thoroughly revised and offers an 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.