An Introduction to Lambda Calculi for Computer Scientists
by C Hankin
List Price:
Our Price: $16.64
You Save: $1.86 (10%)
Availability: Usually ships in 1-2 business days
Buy Used: from $13.21 (click here)
Category: Book
See more book details and other editions
Book Summary Information
Author: C HankinEdition: Paperback
Audio: English (Original Language); English (Unknown); English (Published)
Published: 2004-02-02
ISBN: 0954300653
Number of pages: 180
Publisher: College Publications
Book Reviews of An Introduction to Lambda Calculi for Computer Scientists
Book Review: Favours notation at the expense of clarity
Summary: 1 Stars
I could not get beyond the first chapter of Hankin's book.
I recommend instead Introduction to Functional Programming through Lambda Calculus which is very clear and features solutions to all exercises.
Summary of An Introduction to Lambda Calculi for Computer Scientists
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 emphasises 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 two variants of the type-free lambda-calculus that have appeared in the research literature: the lazy lambda-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, this book is written from a computer science perspective and emphasises 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.General Books
Book Subjects
- Arts & Photography
- Audiobooks on Cassette
- Audiobooks on CD
- Biographies & Memoirs
- Business & Investing
- Children's Books
- Comics & Graphic Novels
- Computers & Internet
- Cooking, Food & Wine
- e-Books
- Engineering
- Entertainment
- Gay & Lesbian
- Health, Mind & Body
- History
- Home & Garden
- Horror
- Law
- Literature & Fiction
- Medicine
- Mystery & Thrillers
- Nonfiction
- Outdoors & Nature
- Parenting & Families
- Professional & Technical
- Reference
- Religion & Spirituality
- Romance
- Science
- Science Fiction & Fantasy
- Sports
- Teens
- Travel
Most talked about in General Books
BlackBerry For Dummies (For Dummies (Computer/ Tech))by Robert Kao, Dante Sarigumba
For Dummies; Published: 2007-10-22; Paperback; Book
Best price: $11.59
Price in other shops:
Switching to a Mac For Dummies (For Dummies (Computer/ Tech))by Arnold Reinhold
For Dummies; Published: 2007-10-29; Paperback; Book
Best price: $11.81
Price in other shops:
Embedded Linux Primer: A Practical Real-World Approach (Prentice Hall Open Source Software Development Series)by Christopher Hallinan
Prentice Hall PTR; Published: 2006-09-28; Paperback; Book
Best price: $34.49
Price in other shops:
301 Inkjet Tips and Techniques: An Essential Printing Resource for Photographers (Digital Process and Print)by Andrew Darlow
Course Technology PTR; Published: 2007-10-09; Paperback; Book
Best price: $31.49
Price in other shops:
Computer Repair with Diagnostic Flowcharts: Troubleshooting PC Hardware Problems from Boot Failure to Poor Performance, Revised Editionby Morris Rosenthal
Foner Books; Published: 2008-08; Paperback; Book
Best price: $13.45
Price in other shops:
Making Things Talk: Practical Methods for Connecting Physical Objectsby Tom Igoe
Make Books; Published: 2007-09-28; Paperback; Book
Best price: $15.79
Price in other shops:
The Best of MAKE (Make)Make Books; Published: 2007-10-24; Paperback; Book
Best price: $19.59
Price in other shops:
Getting Started with Arduino (Make: Projects)by Massimo Banzi
Make Books; Published: 2008-10-23; Paperback; Book
Best price: $7.50
Price in other shops:
iPhone: The Missing Manualby David Pogue
Pogue Press; Published: 2007-08-06; Paperback; Book
Best price: $9.98
Price in other shops:
iPhone: The Missing Manual: Covers the iPhone 3G (Missing Manual)by David Pogue
Pogue Press; Published: 2008-08-20; Paperback; Book
Best price: $14.01
Price in other shops:
Similar Books and other products
Programming Collective Intelligence: Building Smart Web 2.0 Applicationsby Toby Segaran
O'Reilly Media, Inc.; Published: 2007-08-16; Paperback; Book
Best price: $22.87
Price in other shops:
The Little Schemer - 4th Editionby Daniel P. Friedman, Matthias Felleisen
The MIT Press; Published: 1995-12-21; Paperback; Book
Best price: $20.06
Price in other shops:
Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly))O'Reilly Media, Inc.; Published: 2007-06-26; Paperback; Book
Best price: $26.99
Price in other shops:
Basic Category Theory for Computer Scientists (Foundations of Computing)by Benjamin C. Pierce
The MIT Press; Published: 1991-08-07; Paperback; Book
Best price: $18.57
Price in other shops:
Types and Programming Languagesby Benjamin C. Pierce
The MIT Press; Published: 2002-02-01; Hardcover; Book
Best price: $49.99
Price in other shops:
Programming Erlang: Software for a Concurrent Worldby Joe Armstrong
Pragmatic Bookshelf; Published: 2007-07-11; Paperback; Book
Best price: $21.16
Price in other shops:
The Haskell School of Expression: Learning Functional Programming through Multimediaby Paul Hudak
Cambridge University Press; Published: 2000-06; Paperback; Book
Best price: $20.00
Price in other shops:
Purely Functional Data Structuresby Chris Okasaki
Cambridge University Press; Published: 1999-07-01; Paperback; Book
Best price: $35.99
Price in other shops:
Programming in Haskellby Graham Hutton
Cambridge University Press; Published: 2007-01-15; Paperback; Book
Best price: $36.78
Price in other shops:
The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)by Kees Doets, van, Jan Eijck
College Publications; Published: 2004-05-07; Paperback; Book
Best price: $22.50
Price in other shops: