Lambda calculi
Lambda calculi: a guide for computer scientists Chris Hankin
Publisher: Oxford [England] : Clarendon Press, 1994.
ISBN: 0198538405
DDC: 511.3
LCC: QA9.5
Edition: (pbk.) :$22.50 (U.S.)
Summary:
The [lambda]-calculus lies at the very foundations of computer
science. Besides its historical role in computability theory it has
had significant influence on programming language design and
implementation, denotational semantics, and domain theory. The book
emphasizes the proof theory for the type-free [lambda]-calculus. The
first six chapters concern this calculus and cover the basic theory,
reduction, models, computability, and the relationship between the
[lambda]-calculus and combinatory logic. Chapter 7 presents a variety
of typed calculi; first the simply typed [lambda]-calculus, then
Milner-style polymorphism and, finally, the polymorphic
[lambda]-calculus. Chapter 8 concerns three variants of the type-free
[lambda]-calculus that have recently appeared in the research
literature: the lazy [lambda]-calculus, the concurrent
[gamma]-calculus and the [lambda][sigma]-calculus. The final chapter
contains references and a guide to further reading. There are
exercises throughout. In contrast to earlier books on these topics,
which were written by logicians, the book is written from a computer
science perspective and emphasizes the practical relevance of many of
the key theoretical ideas. The book is intended as a course text for
final year undergraduates or first year graduate students in computer
science. Research students should find it a useful introduction to
more specialist literature.
Notes:
Includes bibliographical references (p. [157]-158) 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.
