STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Iman Hafiz Poernomo | lit.salon
Iman Hafiz Poernomo
No bio available.
Add one in Open Library.
Books by Iman Hafiz Poernomo (50 max)
+ shelf
+ list
Adapting Proofs-As-Programs The Curry--Howard Protocol
2005
Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing
+ shelf
+ list
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
2005
Iman Hafiz Poernomo, Martin Wirsing
