ISBNdb.com Home | Categories | Subjects | Authors | Publishers | Your Account (A)
ISBN or Keywords:
Book Info
Similar Books
Best Prices
Price History
Derivation and computation
Derivation and computation: taking the Curry-Howard correspondence seriously
Harold Simmons
Publisher: Cambridge ; Cambridge University Press, 2000.
ISBN: 0521771730   DDC: 511.3   LCC: QA9.54   Edition: (hb)

Notes:

Includes bibliographical references (p. 375-376) and index.

Classification:

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

Book Details:

Language: eng
Physical Description: xxv, 384 p. ; 24 cm.
Edition Info: (hb)

Similar Books:

•  Proofs and types (Jean-Yves Girard; translated and with appendices by Paul Taylor, Yves Lafont; ISBN: 0521371813; £17.50; 100% match)
•  Adapting proofs-as-programs (Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing; ISBN: 0387237593; (hardback : acid-free paper); 58% match)
•  Lectures on the Curry-Howard isomorphism (Morten Heine Sørensen, Paweł Urzyczyn; ISBN: 0444520775; 58% 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)
•  Proof theory (127)
•  Type theory (32)

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:

•  University of Michigan Library (last modified on 06/21/2009)
•  Vanderbilt University (last modified on 07/02/2007)
•  George Mason University (last modified on 11/24/2006)
•  Canada Institute for Scientific and Technical Information (CISTI) (last modified on 10/26/2004)
•  University of Iowa (last modified on 11/26/2003)

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