Iman Hafiz Poernomo
|
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
—
published
2005
—
6 editions
|
|
* Note: these are all the books on Goodreads for this author. To add more, click here.
Is this you? Let us know. If not, help out and invite Iman to Goodreads.

