Adapting proofs-as-programs - the Curry-Howard protocol
- Författare
- Iman Hafiz Poernomo
- (Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.)
- Genre
- Bibliografi, Electronic books.
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | c2005 | New York, New York | xi, 420 sidor. ill. 24 cm. | |
| Springer New York | 2005 | USA, New York, NY | 978-0-387-28183-4 |