{"product_id":"lambda-calculus-and-combinators-an-introduction-9780521898850","title":"Lambda-Calculus and Combinators: An Introduction","description":"\u003cp\u003e • Author(s): J. Roger Hindley | Jonathan P. Seldin\u003cbr\u003e • Publisher: Cambridge University Press\u003cbr\u003e • Publisher Imprint: Cambridge University Press\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eCombinatory 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.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Hardcover","offer_id":46886275154071,"sku":"9780521898850","price":9069.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780521898850.webp?v=1770251166","url":"https:\/\/atlanticbooks.com\/products\/lambda-calculus-and-combinators-an-introduction-9780521898850","provider":"Atlantic Books","version":"1.0","type":"link"}