|
Showing 1 - 1 of
1 matches in All Departments
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.
|
You may like...
Gloria
Sam Smith
CD
R238
R195
Discovery Miles 1 950
Ab Wheel
R209
R149
Discovery Miles 1 490
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.