Skip to search form Skip to main content You are currently offline. Some features of the site may not work correctly. DOI: Roger Hindley and Jonathan P.
|Genre:||Health and Food|
|Published (Last):||22 December 2008|
|PDF File Size:||6.79 Mb|
|ePub File Size:||20.24 Mb|
|Price:||Free* [*Free Regsitration Required]|
Goodreads helps you keep track of books you want to read. Want to Read saving…. Want to Read Currently Reading Read. Other editions. Enlarge cover. Error rating book. Refresh and try again. Open Preview See a Problem? Roger Hindley. Details if other :. Thanks for telling us about the problem. Return to Book Page. Preview — Lambda-Calculus and Combinators by J. Roger Hindley ,. Jonathan P. They have since evolved into important tools for the development and study of programming languages.
Typed and untyped versions of the systems, and their differences, are covered. 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 of them at the end of the book.
Get A Copy. Hardcover , pages. Published July 1st by Cambridge University Press. More Details Original Title. Other Editions 4. Friend Reviews. To see what your friends thought of this book, please sign up. To ask other readers questions about Lambda-Calculus and Combinators , please sign up. Be the first to ask a question about Lambda-Calculus and Combinators. Lists with This Book. Community Reviews. Showing Average rating 3.
Rating details. All Languages. More filters. Sort order. Apr 23, r marked it as unfinished. View 1 comment. Conard Carroll rated it really liked it Mar 08, Subhajit Das rated it really liked it Dec 07, Qinglai rated it really liked it Jun 18, Jovany Agathe rated it did not like it Nov 26, Luis Bernal Romero rated it really liked it Sep 24, Joe Dumoulin rated it really liked it Nov 28, B rated it liked it Feb 16, Kyle Strand rated it really liked it Feb 23, Chris Shaver rated it really liked it May 17, Debby rated it really liked it Sep 20, Peter Prentice rated it it was ok Jan 06, Steve rated it it was amazing Sep 05, Steve rated it really liked it Jan 23, Tommy rated it it was amazing Jul 25, Rob Norris rated it really liked it Feb 18, Huyichen marked it as to-read Apr 19, Andrew marked it as to-read Jul 26, Stijn marked it as to-read Feb 13, Brodie marked it as to-read Apr 15, Deon marked it as to-read Jul 04, Stanislav Vorobyev marked it as to-read Jul 13, Alex Ott marked it as to-read Aug 12, Daniel marked it as to-read Aug 12, David Morris marked it as to-read Aug 12, Petr Saganov marked it as to-read Aug 14, Jure marked it as to-read Aug 23, Chris added it Nov 17, Peter marked it as to-read Nov 27, Alexey added it Jan 10, Lucija Vojnovic marked it as to-read Feb 02, Cameron marked it as to-read Feb 08, Arya Reais-Parsi marked it as to-read Mar 04, Alexander Korneev marked it as to-read Mar 22, Vitaly marked it as to-read May 05, Homoionym added it Aug 18, Shirley marked it as to-read Oct 29, Ryan marked it as to-read Jan 19, There are no discussion topics on this book yet.
Goodreads is hiring! If you like books and love to build cool products, we may be looking for you. About J. Books by J.
As dedicated readers already know, some of the best and most innovative stories on the shelves come from the constantly evolving realm of young ad Read more Trivia About Lambda-Calculus a No trivia or quizzes yet.
Quotes from Lambda-Calculus a Curry always insisted that he got the idea of using h from M. The idea also appeared in in [Fre93, Vol. Welcome back. Just a moment while we sign you in to your Goodreads account.
Lambda-Calculus and Combinators: An Introduction
His main research interests are Lambda-calculus and combinatory logic and he has taught at many international universities including Bristol University, Pennsylvania State University and Tokyo Institute of technology. This is his 7th book. Jonathan P. Lambda-Calculus and Combinators : An Introduction. Roger Hindley , Jonathan P. Combinatory logic and lambda-calculus, originally devised in the s, have since developed into linguistic tools, especially useful in programming languages.