Original language | English |
---|---|
Place of Publication | New York USA |
Publisher | Springer |
Number of pages | 420 |
ISBN (Print) | 0387237593 |
Publication status | Published - 2005 |
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Research output: Book/Report › Book › Research › peer-review