Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
Material type:
Computer fileSeries: Monographs in Computer SciencePublisher: New York, NY : Springer Science+Business Media Inc., 2005Description: v.: digitalISBN: 9780387281834Subject(s): Computer science | Logic design | Software engineering | Logic, Symbolic and mathematical | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Foundations | Logic Design | Programming Techniques | Software Engineering/Programming and Operating Systems | Models and PrinciplesLOC classification: QA9.54 . | P64 2005Online resources: Click here to access online
In:
Springer eBooks
| Item type | Current location | Call number | Vol info | URL | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|---|
|
Biblioteca Digital
Responsable: Alejandra Vargas Mejía
|
QA9.54 .P64 2005 (Browse shelf) | BDIG00000386 | Link to resource | 1 | Available | SpringerLink | BDIG00000386 |
Browsing Biblioteca Digital shelves Close shelf browser
| QA9 A44 2006 Raisonnements divins | QA9 M38 2007 Mathematical Problems from Applied Logic II | QA9.3 G65 2005 Propositional and Predicate Calculus A Model of Argument | QA9.54 .P64 2005 Adapting Proofs-as-Programs | QA9.56 E39 2005 Essays in Constructive Mathematics | QA9.59 N49 2008 New Computational Paradigms | QA11.2 .A28 2005 Activity and Sign |
There are no comments on this title.