| Record ID | marc_loc_2016/BooksAll.2016.part32.utf8:169539089:1290 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part32.utf8:169539089:1290?format=raw |
LEADER: 01290cam a22003374a 4500
001 2005046411
003 DLC
005 20080312084827.0
008 050310s2005 nyua b 001 0 eng
010 $a 2005046411
020 $a0387237593 (hardback : acid-free paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA9.54$b.P64 2005
082 00 $a511.3/6$222
100 1 $aPoernomo, Iman Hafiz,$d1976-
245 10 $aAdapting proofs-as-programs :$bthe Curry-Howard protocol /$cIman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.
260 $aNew York :$bSpringer$cc2005.
300 $axi, 420 p. :$bill. ;$c24 cm.
440 0 $aMonographs in computer science
504 $aIncludes bibliographical references (p. [407]-416) and index.
650 0 $aCurry-Howard isomorphism.
650 0 $aProof theory.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aFunctional programming (Computer science)
650 0 $aLambda calculus.
650 0 $aAbstract data types (Computer science)
700 1 $aCrossley, John N.
700 1 $aWirsing, M.$q(Martin)
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0663/2005046411-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0823/2005046411-t.html