|
Books > Computing & IT > General theory of computing > Mathematical theory of computation
|
Buy Now
Lambda-Calculus and Combinators - An Introduction (Hardcover, 2nd Revised edition)
Loot Price: R2,058
Discovery Miles 20 580
|
|
|
Lambda-Calculus and Combinators - An Introduction (Hardcover, 2nd Revised edition)
Expected to ship within 12 - 17 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
