ISBNdb.com Home | Categories | Subjects | Authors | Publishers | Your Account (A)
ISBN or Keywords:
Book Info
Similar Books
Best Prices
Price History
Domains and lambda-calculi
Roberto M. Amadio and Pierre-Louis Curien
Publisher: Cambridge, U.K. ; Cambridge University Press, 1998.
ISBN: 0521622778   DDC: 511.3   LCC: QA9.5   Edition: (hardback)

Notes:

Includes bibliographical references (p. [469]-479) and index.

Classification:

   (click to see other 'Books on the Same Shelf')
Dewey Class: 511.3 -- General principles
LCC Number: QA9.5

Book Details:

Language: eng
Physical Description: xvi, 484 p. ; 24 cm.
Edition Info: (hardback)

Similar Books:

•  Adapting proofs-as-programs (Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing; ISBN: 0387237593; (hardback : acid-free paper); 83% match)
•  An Introduction to functional programming through Lambda calculus (Greg Michaelson; ISBN: 0201178125; 83% match)
•  Categories for types (Roy L. Crole; ISBN: 0521457017; (pbk.); 83% 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.
•  Lambda calculus (31)
•  Programming languages (Electronic computers) -- Semantics (120)

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:

•  Tulane University (New Orleans, LA) (last modified on 07/06/2009)
•  Canada Institute for Scientific and Technical Information (CISTI) (last modified on 01/25/2009)
•  Vanderbilt University (last modified on 11/05/2008)
•  University of Edinburgh (last modified on 09/12/2008)
•  University of North Texas (last modified on 07/18/2008)
•  University of Newcastle (Australia) (last modified on 03/15/2008)
•  University of Denver (last modified on 06/03/2007)
•  Library of Congress (last modified on 09/17/2006)
•  University of Wisconsin--Madison (last modified on 05/16/2005)
•  University of Virginia (last modified on 11/29/2003)

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