Coverart for item
The Resource Adapting proofs-as-programs : the Curry-Howard protocol, Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

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

Label
Adapting proofs-as-programs : the Curry-Howard protocol
Title
Adapting proofs-as-programs
Title remainder
the Curry-Howard protocol
Statement of responsibility
Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
Dewey number
511.3/6
Illustrations
illustrations
Index
index present
LC call number
QA9.54
LC item number
.P64 2005
Literary form
non fiction
Nature of contents
bibliography
Series statement
Monographs in computer science
Label
Adapting proofs-as-programs : the Curry-Howard protocol, Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [407]-416) and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
xi, 420 p.
Isbn
9780387237596
Isbn Type
(hardback : acid-free paper)
Lccn
2005046411
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
(OCoLC)ocn368500891
Label
Adapting proofs-as-programs : the Curry-Howard protocol, Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Publication
Bibliography note
Includes bibliographical references (p. [407]-416) and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
xi, 420 p.
Isbn
9780387237596
Isbn Type
(hardback : acid-free paper)
Lccn
2005046411
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
(OCoLC)ocn368500891

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...