Tools

LEADER 01753cam a22004694a 4500

001 ocm58478542;

003 OCoLC;

005 20141211182744.0;

008 050310s2005 nyua b 001 0 eng ;

010 a| 2005046411;

020 a| 0387237593 (hardback : acid-free paper);

035 a| (Sirsi) o58478542;

035 a| (OCoLC)58478542;

040 a| DLCc| DLCd| YDXd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| QA9.54b| .P64 2005;

082 00 a| 511.3/62| 22;

100 1 a| Poernomo, Iman Hafiz,d| 1976-=| ^A602283;

245 10 a| Adapting proofs-as-programs :b| the Curry-Howard protocol /c| Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.;

300 a| xi, 420 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Monographs in computer science;

504 a| Includes bibliographical references (p. [407]-416) and index.;

650 0 a| Curry-Howard isomorphism.=| ^A602284;

650 0 a| Proof theory.=| ^A27801;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 0 a| Functional programming (Computer science)=| ^A260442;

650 0 a| Lambda calculus.=| ^A173635;

650 0 a| Abstract data types (Computer science)=| ^A191887;

700 1 a| Crossley, John N.=| ^A52188;

700 1 a| Wirsing, M.q| (Martin)=| ^A213021;

830 0 a| Monographs in computer science.=| ^A363342;

994 a| 92b| ERE;

910 a| PromptCat;

980 a| 2005-07-27b| 79.95d| 0e| 67.16f| 640844;

596 a| 1;

998 a| 1005183;

999 a| QA9.54 .P64 2005w| LCc| 1i| 30372012780638d| 1/31/2013l| JGESm| JOYNERp| $67.16q| 1r| Ys| Yt| JGESBKu| 8/24/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.

Author/creator	Poernomo, Iman Hafiz, 1976-
Other author	Crossley, John N.
Other author	Wirsing, M. (Martin)
Format	Book
Publication Info	New York : Springer Science+Business Media, ©2005.
Description	xi, 420 pages : illustrations ; 25 cm.
Subjects	Curry-Howard isomorphism. Proof theory. Logic, Symbolic and mathematical. Functional programming (Computer science) Lambda calculus. Abstract data types (Computer science)

Series	Monographs in computer science Monographs in computer science. ^A363342
Bibliography note	Includes bibliographical references (p. [407]-416) and index.
LCCN	2005046411
ISBN	0387237593 (hardback : acid-free paper)

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.54 .P64 2005	✔ Available	Place Hold

Click here for more information about this title