Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | b153fcfe-e039-4ece-9844-5ef9b6798ce2 |
| isbn | 0387237593 9780387237596 9780387281834 0387281835 |
| issn | |
| language | eng |
| physical | 1 online resource (xi, 420 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2005 |
| publishDate | ©2005 |
| subjects | |
| title | Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing. |
| topic | Curry-Howard isomorphism. Proof theory. Logic, Symbolic and mathematical. Functional programming (Computer science) Lambda calculus. Abstract data types (Computer science) Electronic Data Processing Curry-Howard, Isomorphisme de. Théorie de la preuve. Logique symbolique et mathématique. Programmation fonctionnelle. Lambda-calcul. Types abstraits de données (Informatique) Informatique. MATHEMATICS MATHEMATICS Proof theory. Logic, Symbolic and mathematical. Functional programming (Computer science) Lambda calculus. Abstract data types (Computer science) Curry-Howard isomorphism. Informatique. Abstract data types (Computer science) Curry-Howard isomorphism Functional programming (Computer science) Lambda calculus Logic, Symbolic and mathematical Proof theory |