Lambda-calculus and combinators, an introduction. J. Roger Hindley, Jonathan P. Seldin

Lambda-calculus and combinators, an introduction



Download Lambda-calculus and combinators, an introduction



Lambda-calculus and combinators, an introduction J. Roger Hindley, Jonathan P. Seldin ebook pdf
Publisher: Cambridge University Press
Language: English
Page: 359
ISBN: 0521898854, 9780521898850

Combinatory 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.



MORE EBOOKS:
The Barefoot Beekeeper cheap book
Download Carson McCullers's The Member of the Wedding (Bloom's Guides) epub







Tags: Lambda-calculus and combinators, an introduction ebook pdf epub djvu mobi rar
Lambda-calculus and combinators, an introduction pdf epub djvu free download
Download Lambda-calculus and combinators, an introduction free ebook pdf epub
Lambda-calculus and combinators, an introduction read online free book
Lambda-calculus and combinators, an introduction cheap ebook for kindle and nook
J. Roger Hindley, Jonathan P. Seldin ebooks and audio books
Lambda-calculus and combinators, an introduction download pdf epub rar rapidshare mediafire fileserve 4shared torrent depositfiles scribd