{"product_id":"lambda-calculus-and-combinators-an-introduction","title":"Lambda-Calculus and Combinators: An Introduction","description":"\u003cp\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Hindley, J. Roger\u003c\/p\u003e\u003cp\u003e\u003cb\u003eBrand:\u003c\/b\u003e Cambridge University Press\u003c\/p\u003e\u003cp\u003e\u003cb\u003eEdition:\u003c\/b\u003e 2\u003c\/p\u003e\u003cp\u003e\u003cb\u003eBinding:\u003c\/b\u003e hardcover\u003c\/p\u003e\u003cp\u003e\u003cb\u003eNumber Of Pages:\u003c\/b\u003e 358\u003c\/p\u003e\u003cp\u003e\u003cb\u003eRelease Date:\u003c\/b\u003e 24-07-2008\u003c\/p\u003e\u003cp\u003e\u003cb\u003ePart Number:\u003c\/b\u003e Illustrated\u003c\/p\u003e\u003cp\u003e\u003cb\u003eDetails:\u003c\/b\u003e This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.\u003c\/p\u003e\u003cp\u003e\u003cb\u003eEAN:\u003c\/b\u003e 9780521898850\u003c\/p\u003e\u003cp\u003e\u003cb\u003ePackage Dimensions:\u003c\/b\u003e 9.1 x 5.8 x 0.9 inches\u003c\/p\u003e\u003cp\u003e\u003cb\u003eLanguages:\u003c\/b\u003e English\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":50228859994416,"sku":"Trans_9780521898850","price":6018.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0690\/9968\/4144\/files\/61rkzmzIJ9L.jpg?v=1760778575","url":"https:\/\/www.retailmaharaj.com\/bn\/products\/lambda-calculus-and-combinators-an-introduction","provider":"Retail Maharaj","version":"1.0","type":"link"}