ISBNdb.com Home | Categories | Subjects | Authors | Publishers | Your Account (A)
ISBN or Keywords:
Book Info
Similar Books
Best Prices
Price History
Introduction to combinators and [lambda]-calculus
J. Roger Hindley, Jonathan P. Seldin
Publisher: Cambridge [Cambridgeshire] ; Cambridge University Press, 1986.
ISBN: 0521318394   LCC: QA9.5   Edition: (pbk.)

Notes:

Includes index.

Bibliography: p. 340-352.

Classification:

   (click to see other 'Books on the Same Shelf')
LCC Number: QA9.5

Book Details:

Language: eng
Physical Description: 360 p. : ill. ; 24 cm.
Edition Info: (pbk.)

Similar Books:

•  Introduction to combinators and [lambda]-calculus (J. Roger Hindley, Jonathan P. Seldin; ISBN: 0521268966; 100% match)
•  Lambda-calculus, combinators, and functional programming (G. E. Revesz; ISBN: 0521345898; 100% match)
•  Proofs and types (Jean-Yves Girard; translated and with appendices by Paul Taylor, Yves Lafont; ISBN: 0521371813; £17.50; 100% match)
•  ...more similar books

Subjects:

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.
•  Combinatory logic (16)
•  Lambda calculus (31)

Buying this book:

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.
•  Amazon.com by title or by ISBN — widest selection, reliable service, good prices
•  Abebooks.com by title or by ISBN — good source for rare and out-of-print books
•  Textbooks.com by title or by ISBN — large inventory of new & used textbooks with free shipping (on orders over $25)
•  Alibris.com by title or by ISBN — their slogan is "books you thought you'd never find"
•  eCampus.com by title or by ISBN — they specialize in textbooks, used and new
•  BN.com by title or by ISBN — Barnes & Noble has a wide selection of new and used books

Libraries this book has an entry in:

•  Auburn University (last modified on 10/08/2009)
•  Universitat de les Illes Balears (Spain) (last modified on 10/01/2009)
•  Ohio State University (last modified on 09/05/2009)
•  Library of Congress (last modified on 08/27/2009)
•  University of Saskatchewan (last modified on 12/09/2008)
•  Canada Institute for Scientific and Technical Information (CISTI) (last modified on 11/03/2008)
•  Carnegie Mellon University (last modified on 10/26/2008)
•  University of Denver (last modified on 09/12/2008)
•  McGill University (Montreal, Canada) (last modified on 08/21/2008)
•  National Library of Canada (last modified on 08/20/2008)
•  University of North Texas (last modified on 08/20/2008)
•  University of Arizona (last modified on 04/07/2008)
•  La Trobe University (Melbourne, Australia) (last modified on 03/20/2008)
•  Michigan State University (last modified on 12/27/2007)
•  University of Southern California (last modified on 10/16/2007)
•  Indiana State University Consortium (last modified on 07/17/2007)
•  LIBRIS -- Swedish Union Catalog (last modified on 10/31/2006)
•  University of Pennsylvania (last modified on 01/08/2006)
•  University of California, Riverside (last modified on 12/12/2005)
•  University of Iowa (last modified on 10/17/2005)
•  LANCE -- a MOBIUS Library Catalog (Missouri) (last modified on 07/04/2005)
•  Rochester Institute of Technology (last modified on 08/01/2004)
•  New York State Department of Health (last modified on 07/13/2004)
•  Idaho State University (last modified on 11/01/2003)

Copyright © 2002-2009 ISBNdb.com FAQ | Privacy Policy | Contact ISBNdb.com