Provides computer science students and researchers with a firm background in lambda-calculus and combinators.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
Seller: medimops, Berlin, Germany
Condition: as new. Wie neu/Like new. Seller Inventory # M00521114292-N
Seller: Bookbot, Prague, Czech Republic
Softcover. Condition: Fair. Verschmutzung / Wasserschaden; Leichte Kratzer / Abnutzungen / Druckstellen. 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. Seller Inventory # 4970bdc6-3c13-4f93-8a4d-19213dfb2a96
Quantity: 1 available
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0521114292I4N00
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 6168676-n
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9780521114295
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 191 pages. 9.61x6.69x0.41 inches. In Stock. This item is printed on demand. Seller Inventory # __0521114292
Quantity: 1 available
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521114295
Quantity: 10 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 6168676-n
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9780521114295_new
Quantity: Over 20 available
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Provides computer science students and researchers with a firm background in lambda-calculus and combinators. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 192 pages, black & white illustrations. BIC Classification: UYA. Category: (U) Tertiary Education (US: College). Dimension: 243 x 172 x 11. Weight in Grams: 326. . 2009. 1st Edition. paperback. . . . . Seller Inventory # V9780521114295
Quantity: Over 20 available