Lambda-calculus and combinators, an introduction
J. Roger Hindley, Jonathan P. Seldin,
Publisher: Cambridge, UK ; Cambridge University Press, 2008.
ISBN: 0521898854
DDC: 511.35
LCC: QA9.5
Edition: (hardback)
Summary:
"In this up-to-date account of the subject, 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."--BOOK JACKET.
Notes:
Includes bibliographical references (p. 323-333) and index.
Click on a subject to see other books listed with the same
subject or to drill down into components of the subject -- such as
geographical locations, dates and so on.
We query many merchants so that you can instantly
compare prices and
availability. You can even check historic prices and subscribe
for notifications. For a manual check, clicking on a link will open a
new window with a search for this book on the merchant's site of your
choice.
