Click on a thumbnail to go to Google Books.
Loading... Lambda Calculi: A Guide for Computer Scientistsby Chris Hankin
None Loading...
Sign up for LibraryThing to find out whether you'll like this book. No current Talk conversations about this book. No reviews no reviews | add a review
Belongs to Series
This is a textbook for final year undergraduates/first year graduates in computer science, as well as a useful introduction for research students seeking a solid introduction to more specialist literature. This text emphasises the role of calculus in programming language design andimplementation, denotational semantics, and domain theory. Alternative books on the subject have been written by logicians, but this is the first to have been written from a computer science prespective, invaluable in emphasising the practical relevance of the key theortical ideas. No library descriptions found. |
Current DiscussionsNone
Google Books — Loading... GenresMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicLC ClassificationRatingAverage:
Is this you?Become a LibraryThing Author. |