Normal view MARC view ISBD view

Adapting Proofs-as-Programs The Curry-Howard Protocol /

Poernomo, Iman Hafiz.

Adapting Proofs-as-Programs The Curry-Howard Protocol / [electronic resource] : by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. - New York, NY : Springer Science+Business Media Inc., 2005. - 1online resource (xi, 420 p.) : ill., digital ; 24 cm. - Monographs in Computer Science, 0172-603X .

ISBN: 9780387281834 (electronic bk.) 9780387237596 (paper)

Subjects--Topical Terms:
Curry-Howard isomorphism.
Proof theory.

Dewey Class. No.: 511.36

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Adapting Proofs-as-Programs The Curry-Howard Protocol /

Contact Us

Copyright ©The National University of Malaysia Library