ISBNdb.com Home | Categories | Subjects | Authors | Publishers | Your Account (A)
ISBN or Keywords:
Book Info
Similar Books
Best Prices
Price History
Adapting proofs-as-programs
Adapting proofs-as-programs: the Curry-Howard protocol
Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing,
Publisher: New York : Springer c2005.
ISBN: 0387237593   DDC: 511.36   LCC: QA9.54   Edition: (hardback : acid-free paper)

Notes:

Includes bibliographical references and index.

Classification:

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

Book Details:

Language: eng
Physical Description: xi, 420 p. : ill. ; 24 cm.
Edition Info: (hardback : acid-free paper)

Similar Books:

•  Lectures on the Curry-Howard isomorphism (Morten Heine Sørensen, Paweł Urzyczyn; ISBN: 0444520775; 95% match)
•  An Introduction to functional programming through Lambda calculus (Greg Michaelson; ISBN: 0201178125; 5% match)
•  Proofs and types (Jean-Yves Girard; translated and with appendices by Paul Taylor, Yves Lafont; ISBN: 0521371813; £17.50; 5% 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.
•  Abstract data types (Computer science) (72)
•  Computers & Internet -- Programming -- Software Design, Testing & Engineering -- Logic (305)
•  Computers & Internet -- Programming -- Software Design, Testing & Engineering -- Software Development (1812)
•  Curry-Howard isomorphism (4)
•  Functional programming (Computer science) (78)
•  Lambda calculus (31)
•  Logic, Symbolic and mathematical (1071)
•  Professional & Technical -- Professional Science -- Mathematics -- Pure Mathematics -- Logic (467)
•  Proof theory (126)
•  Science -- Mathematics -- Pure Mathematics -- Logic (497)

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:

•  OhioLINK Central Database (last modified on 10/29/2009)
•  Ohio State University (last modified on 08/21/2009)
•  University of Victoria (Victoria, BC) (last modified on 12/25/2008)
•  TriUniversity Group of Libraries (Ontario, Canada) (last modified on 12/05/2008)
•  Yale University Library (last modified on 11/25/2008)
•  University of Colorado, Boulder (last modified on 07/12/2008)

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