{"product_id":"9780954300654","title":"An Introduction To Lambda Calculi For Computer Scientists","description":"The lambda-calculus lies at the very foundations of computer\u003cp\u003escience. Besides its historical role in computability theory it has\u003c\/p\u003e\u003cp\u003ehad significant influence on programming language design and\u003c\/p\u003e\u003cp\u003eimplementation, denotational semantics, and domain theory. The book\u003c\/p\u003e\u003cp\u003eemphasises the proof theory for the type-free lambda-calculus. The\u003c\/p\u003e\u003cp\u003efirst six chapters concern this calculus and cover the basic theory,\u003c\/p\u003e\u003cp\u003ereduction, models, computability, and the relationship between the\u003c\/p\u003e\u003cp\u003elambda-calculus and combinatory logic. Chapter 7 presents a variety\u003c\/p\u003e\u003cp\u003eof typed calculi; first the simply typed lambda-calculus, then\u003c\/p\u003e\u003cp\u003eMilner-style polymorphism and, finally, the polymorphic\u003c\/p\u003e\u003cp\u003elambda-calculus. Chapter 8 concerns two variants of the type-free\u003c\/p\u003e\u003cp\u003elambda-calculus that have appeared in the research literature: the\u003c\/p\u003e\u003cp\u003elazy lambda-calculus, and the lambda sigma-calculus. The final\u003c\/p\u003e\u003cp\u003echapter contains references and a guide to further reading. There are\u003c\/p\u003e\u003cp\u003eexercises throughout. In contrast to earlier books on these topics,\u003c\/p\u003e\u003cp\u003ewhich were written by logicians, this book is written from a computer\u003c\/p\u003e\u003cp\u003escience perspective and emphasises the practical relevance of many of\u003c\/p\u003e\u003cp\u003ethe key theoretical ideas. The book is intended as a course text for\u003c\/p\u003e\u003cp\u003efinal year undergraduates or first year graduate students in computer\u003c\/p\u003e\u003cp\u003escience. Research students should find it a useful introduction to\u003c\/p\u003e\u003cp\u003emore specialist literature.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":47951721365744,"sku":"9780954300654","price":18.5,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9780954300654_p0.jpg?v=1763875302","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780954300654","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}