株式会社極東書店トップ ＞ 商品一覧 ＞ Lambda-calculus, Combinators and Functional Programming.
商品詳細
Lambda-calculus, Combinators and Functional Programming.
・ISBN 978-0-521-11429-5 paper GB£ 52.00
￥16,473.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Revesz, G. E., |
|---|---|
| シリーズ | (Cambridge Tracts in Theoretical Computer Science) |
| 出版社 | (Cambridge University Press, UK) |
| 出版年月 | 2009 |
| ページ数 | 192 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A00-65935＞ |
解説
Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.