Adapting Proofs-as-Programs : The Curry--Howard Protocol - Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley ((Monographs in Computer Science))