{"product_id":"lambda-calculus-and-combinators-book-j-roger-hindley-9780521898850","title":"Lambda-Calculus and Combinators","description":"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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":50697174581521,"sku":"NGR9780521898850","price":89.09,"currency_code":"USD","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51003300675857,"sku":"NIN9780521898850","price":95.0,"currency_code":"USD","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52679975764241,"sku":"NLS9780521898850","price":105.89,"currency_code":"USD","in_stock":true},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":53461547155729,"sku":"GOR014932757","price":49.99,"currency_code":"USD","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":54370983543057,"sku":"CIN0521898854VG","price":55.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0521898854.jpg?v=1751073041","url":"https:\/\/www.worldofbooks.com\/products\/lambda-calculus-and-combinators-book-j-roger-hindley-9780521898850","provider":"World of Books ","version":"1.0","type":"link"}